Zihao Li, Ji Guan, Mingsheng Ying · 2026 · arXiv (Cornell University)
DOI: 10.48550/arxiv.2610.31443 · cited by 0 works (OpenAlex) · open-access PDF
As implementações de código de correção de erros quânticos (QECC) são sistemas de controle de software híbridos: síndromes medidos impulsionam o envio de decodificadores, ações de recuperação e verificações lógicas. As técnicas de verificação QECC existentes podem provar obrigações formais e os testes quânticos gerais podem expor falhas finais, mas os desenvolvedores ainda carecem de um fluxo de trabalho de teste escalável que gera falhas concretas e explica onde um caminho de reparação de QECC divergem primeiro. Este artigo apresenta ao ConQEC, ao nosso conhecimento, o primeiro quadro de teste concólico para implementações de QECC. Ao combinar a reprodução de falhas de concreto (Pauli) com restrições de caminho de reparação simbólicas, o ConQEC gera testes que
Machine translation (Meta M2M100); the English original follows.
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 repair-path constraints, ConQEC generates tests that expose not only final logical failures but also fault--syndrome--decoder--recovery (FSDR) diagnostics: the injected fault, observed syndrome, decoder decision, recovery action, oracle result, and earliest divergent stage. Its symbolic encoding of Pauli faults, syndrome predicates, decoder and recovery relations, and oracle checks enables this diagnostic workflow to scale beyond exponentially increasing amplitude-level quantum-state reasoning. We implemented ConQEC and evaluated it on generated source-level QECC families and public QECC artifacts with up to thousands of qubits. ConQEC detects the seeded bug in every experimental case and reports a replay-valid, fault-localizing FSDR witness for each.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Concolic testing, Computer science, Symbolic execution, Satisfiability modulo theories, Oracle, Workflow
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.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange