{"id":"arxiv/2610.31443","url":"https://arxiv.org/abs/2610.31443","tags":["quant-ph","cs.SE"],"score":0,"title":"ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations","domain":"quant-ph","source":"arxiv","authors":["Zihao Li","Ji Guan","Mingsheng Ying"],"reviews":0,"subject":"quant-ph","summary":"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…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}