AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-02-10 至 2026-02-10 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 测试生成 1 篇

2601.16239 2026-02-10 cs.SE 57%

将测试与证明结合以提升软件验证

Li Huang, Bertrand Meyer, Manuel Oriol

专题命中测试生成：program repair(abstract)；分类 cs.SE

AI总结通过结合测试与证明技术，利用设计契约和反例生成，提升软件验证的质量与效率。