Yujin Song

作者提出QuSema，一个以量子语义与文档作为源码级语义判据的自主测试智能体，通过“上下文单元准备—语义缺陷检测—库API触发与验证”三阶段流程，判断实现逻辑能否由合法输入产生非法输出；在Qiskit与PennyLane的20个历史静默缺陷基准上，其平均缺陷复现数高于Claude Code与Codex，并在两个库中发现40个经维护者确认的新缺陷，其中30个为静默缺陷。

作者提出QuSema，一个以量子语义与文档作为源码级语义判据的自主测试智能体，通过“上下文单元准备—语义缺陷检测—库API触发与验证”三阶段流程，判断实现逻辑能否由合法输入产生非法输出；在Qiskit与PennyLane的20个历史静默缺陷基准上，其平均缺陷复现数高于Claude Code与Codex，并在两个库中发现40个经维护者确认的新缺陷，其中30个为静默缺陷。