ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations

Zihao Li, Ji Guan, Mingsheng Ying · 2026 · arXiv

DOI: 10.48550/arXiv.2610.31443 · open-access PDF

Vietnamese

Quantum error-correcting code (QECC) thực hiện là hệ thống điều khiển phần mềm lai: các hội chứng đo được lái xe decoder dispatch, hành động phục hồi, và kiểm tra logic. Các kỹ thuật xác minh QECC hiện có có thể chứng minh nghĩa vụ chính thức, và thử nghiệm lượng tử nói chung có thể phơi bày thất bại cuối cùng, nhưng các nhà phát triển vẫn thiếu một dòng công việc kiểm tra có thể mở rộng tạo ra lỗi bê tông và giải thích nơi một con đường sửa chữa QECC lần đầu tiên khác biệt.

Machine translation (Meta M2M100); the English original follows.

Abstract

Quantum error-correcting code (QECC) implementations are hybrid software-control systems: measured syndromes drive decoder dispatch, recovery actions, and logical checks. Existing QECC verification techniques can prove formal obligations, and general quantum testing can expose final failures, but developers still lack a scalable testing workflow that generates concrete faults and explains where a QECC repair path first diverges. This paper presents ConQEC, to our knowledge the first concolic testing framework for QECC implementations. By combining concrete (Pauli) fault replay with symbolic re

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.31443, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange