Quantum Executor: A Unified Interface for Quantum Computing
This repository includes data, code, and documentation involved in our methodological analysis of empirical studies on quantum software testing.
An Execution-Level Benchmark Suite for Quantum Software Engineering
This repository includes the code and data involved in the manuscript '*Preparation and Utilization of Mixed States for Testing Quantum Programs*'.
qpa is a tool that scans open-source quantum computing projects and automatically detects which known quantum algorithm patterns they implement.
Research artifact on the oracle problem for quantum software testing
Deterministic verification termination oracle (ContractGate) for FTQC quantum modules — exit 0 ⟺ sealed.json ⟺ loop terminates. Reuses established deterministic verification (tableau/ZX); novelty is the agentic-loop termination oracle + binary seal/registry + FTQC resource integration.
Add a description, image, and links to the quantum-software-engineering topic page so that developers can more easily learn about it.
To associate your repository with the quantum-software-engineering topic, visit your repo's landing page and select "manage topics."