Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions

arXiv:2609.24230 · cs.SE, quant-ph · Submitted 2026-09-21 · Read on arXiv

cs.SE, quant-ph

Submitted: 2026-09-21

Updated: 2026-09-21

Code: https://github.com/furqan-nr/Fault-matched-Oracles

Terminology

• Provenance — 9× in this paper · explained in 4 episodes
• Verification — 9× in this paper · explained in 2 episodes
• Consistency — 4× in this paper · explained in 3 episodes
• Accuracy — 3× in this paper · explained in 1 episode
• Benchmark — 3× in this paper · explained in 2 episodes
• Generalization — 3× in this paper · explained in 13 episodes
• Generative AI — 3× in this paper · explained in 2 episodes
• Calibration — 2× in this paper · explained in 7 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Core — 1× in this paper · explained in 2 episodes
• Quantum Circuits — 1× in this paper · explained in 2 episodes

Sources

• What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers
• Quantum computing with Qiskit
• A Survey on Testing and Analysis of Quantum Software
• QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
• CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties