86 citations · 103 across the 6 of their papers we have counts for
6 papers
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia +4
The rapid advancement of quantum computing has led to the development of various quantum libraries, empowering compilation, simulation, and hardware backend interfaces. However, en…
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
Jiaming Ye, Xiongfei Wu, Shangzhou Xia +2
As quantum computing continues to emerge, ensuring the quality of quantum programs has become increasingly critical. Quantum program testing has emerged as a prominent research are…
NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing
Mulong Xie, Jiaming Ye, Zhenchang Xing +1
To ensure app compatibility and smoothness of user experience across diverse devices and platforms, developers have to perform cross-device, cross-platform testing of their apps, w…
Towards Benchmarking GUI Compatibility Testing on Mobile Applications
Jiaming Ye, Mulong Xie, Siyuan Chen +4
GUI is a bridge connecting user and application. Existing GUI testing tasks can be categorized into two groups: functionality testing and compatibility testing. While the functiona…
xFuzz: Machine Learning Guided Cross-Contract Fuzzing
Yinxing Xue, Jiaming Ye, Wei Zhang +4
Smart contract transactions are increasingly interleaved by cross-contract calls. While many tools have been developed to identify a common set of vulnerabilities, the cross-contra…
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures
Jiaming Ye, Mingliang Ma, Yun Lin +3
Recent years have seen smart contracts are getting increasingly popular in building trustworthy decentralized applications. Previous research has proposed static and dynamic techni…