Retromorphic Testing of Quantum Compiler Passes

arXiv:2610.11195 · quant-ph, cs.SE · Submitted 2026-10-08 · Read on arXiv

quant-ph, cs.SE

Submitted: 2026-10-08

Updated: 2026-10-08

Code: https://github.com/QSAR-UBC/RetroQ

Terminology

• Verification — 18× in this paper · explained in 2 episodes
• Quantum Circuits — 16× in this paper · explained in 2 episodes
• Abstraction — 4× in this paper · explained in 1 episode
• Accuracy — 4× in this paper · explained in 1 episode
• Formal Verification — 3× in this paper · explained in 2 episodes
• Formal Methods — 2× in this paper · explained in 3 episodes
• Structural Integrity — 2× in this paper · explained in 3 episodes
• Abstract Syntax Tree — 1× in this paper
• Entanglement — 1× in this paper · explained in 3 episodes
• Hybrid Approach — 1× in this paper · explained in 4 episodes

Sources

• Quantum Software Engineering: Landscapes and Horizons
• Formal Methods for Quantum Programs: A Survey
• Retromorphic Testing: A New Approach to the Test Oracle Problem
• PennyLane: Automatic differentiation of hybrid quantum-classical computations
• Quantum computing with Qiskit
• Metamorphic Testing: A New Approach for Generating Next Test Cases
• A Survey on Testing and Analysis of Quantum Software
• QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity