A systematic analysis of 59 quantum software testing empirical studies reveals highly diverse designs, inconsistent reporting, and open methodological challenges, leading to recommendations for future work.
The cost of certainty: Shot budgets in quantum program testing
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
Bayesian sequential verification reduces measurement costs for quantum programs by updating decisions incrementally using priors from reference runs or ideal simulations, outperforming fixed budgets when success probability exceeds the threshold.
citing papers explorer
-
A Methodological Analysis of Empirical Studies in Quantum Software Testing
A systematic analysis of 59 quantum software testing empirical studies reveals highly diverse designs, inconsistent reporting, and open methodological challenges, leading to recommendations for future work.
-
Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
Bayesian sequential verification reduces measurement costs for quantum programs by updating decisions incrementally using priors from reference runs or ideal simulations, outperforming fixed budgets when success probability exceeds the threshold.