Research / Sources
Source index
Every source this research actually opened, grouped by kind. Sources that failed to load or were never independently verified are listed too, not hidden.
The full annotated version, with per-claim cross-references, is sources.md in the GitHub repository.
Official repositories & documentation
- MQT QCEC — README, features, citation block
- MQT QCEC — CI workflow (raw YAML)
- MQT verification handbook
- MQT Debugger — README, DAP server description
- pytest-quantum plugin
- pytest-quantum — PyPI release history
- qtest-quantum plugin
- qc-assert plugin
- Qiskit ecosystem CI template
- Qiskit QPY cross-version compat harness
- quantum-transpiler-regression-testing ("cart") pilot
- Bugs4Q bug corpus repository
arXiv papers (abstract and/or full text verified directly)
- MQT Debugger — "A Framework for Debugging Quantum Programs" (2412.12269)
- 31% statistic — "Challenges and Practices in Quantum Software Testing and Debugging" (2506.17306)
- QUTest — "A Native Testing Framework for Quantum Programs" (2605.19736)
- "A Survey on Testing and Analysis of Quantum Software" (2410.00650)
- Qolumbina — "Benchmarking Quantum Software Testing with Scalable Quantum Programs" (2607.02029)
- "Quantum Circuit Mutants: Empirical Analysis and Recommendations" (2311.16913)
- QMon (2512.13422)
- TraceQ (2508.14533)
- CUDA-Q Statistical Assertions (2507.16255)
- Bloq / AutoBloq (2506.18458)
- MorphQ (2206.01111)
- Bugs4Q preprint (2108.09744)
- Cross-Qiskit-version Bugs4Q replication study, ICSME 2026 (2606.27124)
- QBugs (2103.16968)
- 32,296-bug-report mined dataset (2512.24656)
- QBugLM (2606.07314)
Independently resolved DOI / bibliographic records
Verification pass 2 (2026-08-20) — direct DOI access to ScienceDirect was blocked by a JS-rendered wall, so these citations were cross-confirmed via independent bibliographic listings instead.
Sources attempted but inaccessible
Documented rather than silently dropped — these were not used as evidence for any claim.
- PyPI mqt.qcec project page — failed to load via WebFetch
- arXiv 2506.17306 PDF (compressed stream) — unreadable via WebFetch; worked around via direct file read
- arXiv 2506.17306 HTML version — 404, not published
- ScienceDirect full text for the QCEC and Bugs4Q DOIs — blocked by a JS-rendered redirect wall
Unverified leads
Surfaced by search but never opened — explicitly flagged, not cited anywhere in the claims or evidence.
- arXiv 2601.08367, 2503.05240, 2506.02090, 2409.08844, 2509.04763 (NovaQ), 2601.13996, 2503.17322 (QITE), 2602.05759 — not independently verified
- A companion "4,984-issue / 36-repo" Qiskit-ecosystem benchmark mentioned alongside arXiv:2512.24656
- n26124939/Quentangle-SAT — legitimacy/functionality not verified
Raw index: research/sources.md in the GitHub repository