论文提出独立保障框架，验证智能体生成软件的可靠性
Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software
AI 导读
arXiv 论文 arXiv:2610.28667 指出，当同一智能体系统既产出软件又产出正确性证据时，通过测试不再是独立证据，提出构建与验证分离的保障框架，包含 Verification Contract、无实现访问的规范优先阶段与基于变异分析、属性测试和模糊测试的实现感知阶段。
来源：arXiv cs.AI · arxiv.org