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

Japanese

量子エラー修正コード(QECC)の実装は、ハイブリッドソフトウェア制御システムである:測定症候群は、デコード配信、回復行動、論理的チェックを駆使します。既存のQECC検証技術は、公式の義務を証明し、一般的な量子テストは最終的な失敗を暴露することができますが、開発者はまだ、コンクリート(Pauli)エラーを生成し、QECC修理パスが最初に異なる場所を説明するスケーラブルなテストワークフローを欠いている。

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