2 papers
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…