The hardware-compatible Brick-Circuit generator produces quantum test states with higher expressibility and entanglement than existing generators at shallower circuit depths.
On the feasibility of quantum unit testing
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 5roles
background 2polarities
background 2representative citing papers
Semantics-based verification of a Qrisp Shor oracle for ECDLP identifies agreement on core primitives but potential control-law violations in controlled execution.
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.
Failure-guided local fuzzing around non-convergent seeds improves detection of faulty HQC configurations over random testing, with concolic seeding adding workload-dependent benefits on VQE versus QAOA.
Quantum circuits show high average condition (97.56%) and decision (97.63%) coverage but lower path coverage (71.84%), with probabilistic versions adding confidence levels (averages 88.87%, 88.65%, 37.18%); mutation testing reveals weak or no correlation between structural coverage and fault finding
citing papers explorer
-
Randomized and Diverse Input State Generation for Quantum Program Testing
The hardware-compatible Brick-Circuit generator produces quantum test states with higher expressibility and entanglement than existing generators at shallower circuit depths.
-
Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
Semantics-based verification of a Qrisp Shor oracle for ECDLP identifies agreement on core primitives but potential control-law violations in controlled execution.
-
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.
-
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
Failure-guided local fuzzing around non-convergent seeds improves detection of faulty HQC configurations over random testing, with concolic seeding adding workload-dependent benefits on VQE versus QAOA.
-
Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs
Quantum circuits show high average condition (97.56%) and decision (97.63%) coverage but lower path coverage (71.84%), with probabilistic versions adding confidence levels (averages 88.87%, 88.65%, 37.18%); mutation testing reveals weak or no correlation between structural coverage and fault finding