arXiv· Zihao Li·· 8 天前推荐指数38
ConQEC：面向量子纠错码实现的符号执行测试框架
ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations
AI 导读
ConQEC 是首个面向量子纠错码（QECC）实现的 concolic 测试框架，通过结合具体 Pauli 故障重放与符号修复路径约束，生成能暴露最终逻辑故障及 FSDR（故障-综合征-解码器-恢复）诊断的测试用例。
来源：arXiv · arxiv.org