Showing quant-phShow all
3 papers · 1 filter
quant-ph2026
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…
quant-ph2026
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…
quant-ph2026
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…