GTDD：用对抗测试为 AI 编程智能体实现生成式测试驱动开发

论文提出生成式测试驱动开发（GTDD），让独立测试智能体在候选实现固定后依据行为契约与历史反馈生成新输入，由可信评估器返回化简反例并用于回归测试。有限总体分析给出自适应候选选择下误接受界的量化，结果显示候选提交后的随机审计可控制跨轮误接受。在有状态键值存储的配对实验中，开发期间再生成测试的策略平均失败率低于由同一语言模型一次性生成测试的策略，向测试者提供候选源码未带来可检测改进。