2 papers
cs.SE2026
Noise-Resilient Testing of Quantum Programs Based on Output Dominance
Yuechen Li, Yige Yang, Tao Yue
Quantum software testing (QST) is a central quality-assurance activity for checking whether quantum programs conform to their specifications. In the noisy intermediate-scale quantu…
cs.SE2026
Ising-based Test Optimization and Benchmarking
Yige Yang, Man Zhang, Tao Yue
Test optimization contains test case selection and minimization, which is an important challenge in software testing and has been addressed with search-based approaches intensively…