arXiv · Software Engineering· Yujin Song, Kaining Zhang, Qixin Zhang, Shuai Wang, Pingchuan Ma, Yuxuan Du·· 4 hr agoAI score36
QuSema：用量子知识增强的智能体检测量子库中的静默缺陷
QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents
AI brief
QuSema 是一个面向量子库的自主测试智能体，用量子语义与文档约束构建源码级语义 oracle，通过智能体循环检查 API 文档与源码、推理量子操作预期行为并生成可执行测试，以发现不触发崩溃的静默缺陷。
Source: arXiv · Software Engineering · arxiv.org