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.
Two denominators, stated so nobody has to reconcile them: the claims record links its own set of unique sources (the count shown on the homepage), while this page catalogs every source opened during the study, including failures and unverified leads. This list is the superset.
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
- Benchpress cross SDK benchmark suite (IBM)
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)
- Benchpress, “Benchmarking the performance of quantum computing software” (2409.08844; Nat. Comput. Sci. 5, 427-435, 2025)
- 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, page failed to load during the verification pass
- arXiv 2506.17306 PDF (compressed stream), compressed stream was unreadable in the fetch pipeline; worked around by downloading the file directly
- 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