5 papers
Benchmarking Quantum Software Testing with Scalable Quantum Programs
Yuechen Li, Minqi Shao, Xiyuan Li +2
Quantum software testing (QST) checks whether quantum programs behave according to their intended specifications. A key requirement for QST research is a benchmark that supports ri…
A Methodological Analysis of Empirical Studies in Quantum Software Testing
Yuechen Li, Minqi Shao, Jianjun Zhao +1
In quantum software engineering (QSE), quantum software testing (QST) has attracted increasing attention as quantum software systems grow in scale and complexity. Since QST evaluat…
QSolver: A Quantum Constraint Solver
Shangzhou Xia, Haitao Fu, Jianjun Zhao
With the growing interest in quantum programs, ensuring their correctness is a fundamental challenge. Although constraint-solving techniques can overcome some limitations of tradit…
Assessing Superposition-Targeted Coverage Criteria for Quantum Neural Networks
Minqi Shao, Jianjun Zhao
Quantum Neural Networks (QNNs) have achieved initial success in various tasks by integrating quantum computing and neural networks. However, growing concerns about their reliabilit…
Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
Kenta Manoku, Jianjun Zhao
Code clones, referring to identical or similar code fragments, have long posed challenges in classical programming, impacting software quality, maintainability, and scalability. Ho…