1 citations · 1 across the 6 of their papers we have counts for
6 papers
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
Junjie Luo, Shangzhou Xia, Fuyuan Zhang +1
As quantum algorithms and hardware continue to evolve, ensuring the correctness of the quantum software stack (QSS) has become increasingly important. However, testing QSSes remain…
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…
AR2: Attention-Guided Repair for the Robustness of CNNs Against Common Corruptions
Fuyuan Zhang, Qichen Wang, Jianjun Zhao
Deep neural networks suffer from significant performance degradation when exposed to common corruptions such as noise, blur, weather, and digital distortions, limiting their reliab…
LeCov: Multi-level Testing Criteria for Large Language Models
Xuan Xie, Jiayang Song, Yuheng Huang +4
Large Language Models (LLMs) are widely used in many different domains, but because of their limited interpretability, there are questions about how trustworthy they are in various…
Quantum Concolic Testing
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang +1
This paper presents the first concolic testing framework explicitly designed for quantum programs. The framework introduces quantum constraint generation methods for quantum contro…