10 citations · 18 across the 31 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
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…