Zihao Li, Ji Guan, Mingsheng Ying · 2026 · arXiv
DOI: 10.48550/arXiv.2610.31443 · open-access PDF
Les implémentations du code de correction d'erreur quantique (QECC) sont des systèmes de contrôle logiciel hybrides : les syndromes mesurés conduisent à l'expédition du décodeur, aux actions de récupération et aux contrôles logiques. Les techniques de vérification QECC existantes peuvent prouver des obligations formelles, et les tests quantiques généraux peuvent exposer des défaillances finales, mais les développeurs manquent toujours d'un flux de travail de test évolutif qui génère des défaillances concrètes et explique où un chemin de réparation QECC divergit en premier. Ce document présente ConQEC, à notre connaissance, le premier cadre de test concolique pour les implémentations QECC. En combinant la répétition de défa
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 re
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
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