Do AI models help produce verified bug fixes?
机构 * Constructor Institute of Technology(构造技术研究所)
专题命中 程序修复 :program repair(abstract);分类 cs.SE、cs.AI
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
机构 * Constructor Institute of Technology(构造技术研究所)
专题命中 程序修复 :program repair(abstract);分类 cs.SE、cs.AI