Showing cs.SEShow all
2 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
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…