49 citations · 103 across the 9 of their papers we have counts for
9 papers
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation
Guang Yang, Yu Zhou, Xiangyu Zhang +3
Context: Pre-trained models (PTMs) have demonstrated significant potential in automatic code translation. However, the vulnerability of these models in translation tasks, particula…
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation
Guang Yang, Yu Zhou, Xiang Chen +4
Due to the development of pre-trained language models, automated code generation techniques have shown great promise in recent years. However, the generated code is difficult to me…
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications
Shuqi Liu, Yu Zhou, Tingting Han +1
Automatic test generation can help verify and develop the behavior of mobile applications. Test reuse based on semantic similarities between applications of the same category has b…
DRIVE: Dockerfile Rule Mining and Violation Detection
Yu Zhou, Weilin Zhan, Zi Li +3
A Dockerfile defines a set of instructions to build Docker images, which can then be instantiated to support containerized applications. Recent studies have revealed a considerable…
Adversarial Robustness of Deep Code Comment Generation
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen +3
Deep neural networks (DNNs) have shown remarkable performance in a variety of domains such as computer vision, speech recognition, or natural language processing. Recently they als…
Finger Texture Biometric Characteristic: a Survey
Raid R. O. Al-Nima, Tingting Han, Taolue Chen +2
\begin{abstract} In recent years, the Finger Texture (FT) has attracted considerable attention as a biometric characteristic. It can provide efficient human recognition performance…
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems
Taolue Chen, Tingting Han, Yongzhi Cao
Behaviour distances to measure the resemblance of two states in a (nondeterministic) fuzzy transition system have been proposed recently in the literature. Such a distance, defined…
Modal Specifications for Probabilistic Timed Systems
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen +1
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or…