Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence
Furqan Nasir, Muhammad Arif Shah, Iftikhar Alam
Quantum compiler assurance requires a semantic relation that matches the intended use and observations that can expose violations at the delivered interface. This critical integrat…
cs.SE2026
A Leakage-Safe, Cost-Aware Regression Testing Methodology for the Quantum Transpiler
Furqan Nasir, Muhammad Arif Shah, Ifitkhar Alam
Quantum SDKs such as Qiskit are revised continually, and a single transpiler-pass change can introduce a software regression, so continuous integration (CI) must select and priorit…
cs.SE2026
Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Furqan Nasir, Arif Shah, Iftikhar Alam
Test oracles for quantum transpilers typically judge correctness by comparing compiled output against a reference: a statevector, a sampled distribution, or a unitary compared modu…