代码大模型 / AI 编程

Break-It-Fix-It: Unsupervised Learning for Program Repair

Michihiro Yasunaga, Percy Liang

专题命中 程序修复 ：program repair(title)；分类 cs.SE、cs.CL、cs.LG

Comments ICML 2021. Code & data available at https://github.com/michiyasunaga/bifi

Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair

超越准确率：智能体多块修复的行为动力学

Noor Nashid, Daniel Ding, Keheliya Gallaba, Ahmed E. Hassan, Ali Mesbah

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；coding agent(abstract)；分类 cs.SE

AI总结 研究LLM驱动的编码智能体在多块缺陷修复中的行为，通过404个多块bug的1616条修复轨迹分析定位、修复准确率、回归行为及操作动力学，发现修复准确率随bug分散度和复杂度下降，且失败修复消耗更多资源。

An Exploratory Literature Study on Sharing and Energy Use of Language Models for Source Code

Max Hort, Anastasiia Grishina, Leon Moonen

专题命中 程序修复 ：code model(abstract)；program repair(abstract)；分类 cs.SE、cs.CL、cs.AI

Comments Accepted for publication in the 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2023)

Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation

Thanh Le-Cong, Bach Le, Toby Murray

机构 * The University of Melbourne（墨尔本大学） 纠错

专题命中 程序修复 ：program repair(title)；分类 cs.SE、cs.AI

Comments Accepted to ICSE 2026, Research Track

Extending the Frontier of ChatGPT: Code Generation and Debugging

Fardin Ahsan Sakib, Saadat Hasan Khan, A. H. M. Rezaul Karim

专题命中 程序修复 ：code generation(title)；分类 cs.SE、cs.CL

Human-In-The-Loop Automatic Program Repair

Marcel Böhme, Charaka Geethal, Van-Thuan Pham

专题命中 程序修复 ：program repair(title)；分类 cs.SE、cs.AI

Comments Accepted as full paper (10+2 pages) at ICST'20 (https://icst2020.info/) *** Tool and Replication Package at: https://github.com/mboehme/learn2fix

Eliminating Timing Side-Channel Leaks using Program Repair

Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang

专题命中 程序修复 ：program repair(title)；分类 cs.SE、cs.PL

Program Repair by Stepwise Correctness Enhancement

Nafi Diallo, Wided Ghardallou, Ali Mili

专题命中 程序修复 ：program repair(title)；分类 cs.SE、cs.PL

Comments In Proceedings PrePost 2016, arXiv:1605.08096

Journal ref EPTCS 208, 2016, pp. 1-15

Automated Program Repair Based on REST API Specifications Using Large Language Models

Katsuki Yamagishi, Norihiro Yoshida, Erina Makihara, Katsuro Inoue

专题命中 程序修复 ：program repair(title)；分类 cs.SE

Computation Tree Logic Guided Program Repair

Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury

专题命中 程序修复 ：program repair(title)；分类 cs.SE

Syntax-Guided Automated Program Repair for Hyperproperties

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

专题命中 程序修复 ：program repair(title)；分类 cs.PL

Comments CAV 2024

A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair

David A. Tomassi, Cindy Rubio-González

专题命中 程序修复 ：program repair(title)；分类 cs.SE

TBar: Revisiting Template-based Automated Program Repair

Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé

专题命中 程序修复 ：program repair(title)；分类 cs.SE

Comments Accepted by ISSTA 2019

TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization

TRIM：通过代理轨迹最小化减少人工智能生成的代码冗余

Alex Mathai, Shobini Iyer, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Junfeng Yang, Baishakhi Ray

机构 * Dept. of Computer Science Columbia University（计算机科学系哥伦比亚大学） ； Google Inc（谷歌公司） ； Google DeepMind（谷歌DeepMind） 纠错

专题命中 程序修复 ：code generation(abstract)；coding agent(abstract)；分类 cs.SE、cs.AI

AI总结 研究人工智能生成代码冗余问题，提出TRIM算法，通过最小化代理轨迹间接减少代码冗余，实验证明该方法有效且高效，能显著降低代码冗余，同时减少验证成本。

BLAgent: Agentic RAG for File-Level Bug Localization

BLAgent: 一种面向文件级Bug定位的代理RAG

Md Afif Al Mamun, Gias Uddin

机构 * University of Calgary（卡尔加里大学） ； York University（约克大学） 纠错

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE、cs.AI

AI总结 本文提出BLAgent，一种新型代理RAG框架，用于文件级Bug定位，通过结合代码结构感知的仓库编码、双视角查询转换和两阶段代理重排序，提高了Bug定位的准确性和效率。

Comments Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM)

AgentStepper: Interactive Debugging of Software Development Agents

AgentStepper: 软件开发代理的交互式调试

Robert Hutter, Michael Pradel

机构 * University of Stuttgart（斯图加特大学） ； CISPA Helmholtz Center for Information Security（CISPA 沃尔夫冈·泡利信息安全中心） 纠错

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE、cs.AI

AI总结 AgentStepper是一种用于LLM软件工程代理的交互式调试工具，通过结构化对话和逐步执行提升调试效率，减少开发者工作量。

TDFlow: Agentic Workflows for Test Driven Development

TDFlow: 为测试驱动开发设计的代理工作流

Kevin Han, Siddharth Maddikayala, Tim Knappe, Om Patel, Austen Liao, Amir Barati Farimani

机构 * Carnegie Mellon University（卡内基梅隆大学） ； UC San Diego（南加州大学） ； Johns Hopkins University（约翰霍普金斯大学） 纠错

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE、cs.AI

AI总结 TDFlow通过测试驱动的工作流实现人类水平的测试解析，提升软件修复性能。

Comments Published in the 19th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2026 Main Conference)

Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs

修补漏洞而无需隐形之手。对LLMs的差异化复制研究

Maria Camporese, Fabio Massacci

机构 * University of Trento（特伦托大学） 纠错

专题命中 程序修复 ：code generation(abstract)；program repair(abstract)；分类 cs.SE、cs.LG

AI总结 本文通过受控实验研究LLM在漏洞修复中的表现，发现其修复能力可能受隐藏因素影响，通过偏移故障位置验证模型是否能复现记忆中的修复方案。

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Valentina Wu, Alexandra Mendes, Alexandre Abreu

专题命中 程序修复 ：program repair(abstract)；program synthesis(abstract)；分类 cs.SE、cs.PL

Automated Code Editing with Search-Generate-Modify

Changshu Liu, Pelin Cetin, Yogesh Patodia, Saikat Chakraborty, Yangruibo Ding, Baishakhi Ray

专题命中 程序修复 ：code generation(abstract)；program repair(abstract)；分类 cs.SE、cs.PL

Comments 12 pages, 10 figures

Program Repair for Hyperproperties

Borzoo Bonakdarpour, Bernd Finkbeiner

专题命中 程序修复 ：program repair(title)

Comments arXiv admin note: text overlap with arXiv:2101.07847

Model and Program Repair via SAT Solving

Paul C. Attie, Jad Saklawi

专题命中 程序修复 ：program repair(title)

Comments 29 pages, new repair features

MultiFixer: A Coordinator-Proposer Based Multi-Agent Framework For Fixing Multi-Hunk Bugs

MultiFixer：一种用于修复多块漏洞的基于协调者-提议者的多智能体框架

Haichuan Hu, Chunrong Fang, Ye Shang, Jiawei Liu, Weifeng Sun, Guoqing Xie, Chenxing Zhong, Quanjun Zhang

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE

AI总结 该研究针对现有LLM-based APR方法难以修复多块漏洞的问题，提出MultiFixer多智能体框架，经多基准测试，其在Defects4J等数据集上达到最优修复效果，能有效修复多块漏洞。

Comments Accepted to 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)

What Makes a Good Bug Report for an AI Agent?

什么是适合人工智能代理的优质错误报告？

Lara Khatib, Noble Saji Mathews, Meiyappan Nagappan, Pengyu Nie, Thomas Zimmermann

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE

AI总结 研究自动化程序修复代理的优质错误报告，通过统计建模和受控消融分析发现，代理受益于具体可执行且定位好的信息，与人类优质报告有别，如自然语言重现步骤等对代理作用不大，不同模型处理缺失信息方式有差异。

Benchmarking Code Improvement with Progressive, Adaptive, and Interactive Feedback

使用渐进式、自适应和交互式反馈对代码改进进行基准测试

Cuong Chi Le, Aashish Yadavally, Minh Le-Anh, Tien N. Nguyen

专题命中 程序修复 ：code generation(abstract)；program repair(abstract)；分类 cs.SE

AI总结 提出PAIR-Bench基准，通过渐进式提示和结构化反馈协议，细粒度评估大语言模型在代码改进中的修复能力、泛化能力和所需辅助程度。

Astragalus: Automatic Configuration Repair for Production Networks

Astragalus: 为生产网络实现自动配置修复

Zhenrong Gu, Peng Zhang, Xing Feng, Xu Liu

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE

AI总结 本文提出Astragalus，一种基于语法的自动配置修复方法，通过多次迭代的『定位-修复-验证』流程，在生产网络中有效修复了多种类型的配置错误。

Comments 13 pages body, 14 pages total

Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair

Clover：一种基于随机树-of-thoughts的神经符号代理体系用于验证RTL修复

Zizhang Luo, Yansong Xu, Runlin Guo, Fan Cui, Kexing Zhou, Mile Xia, Hongyuan Hou, Yuhao Luo, Yun Liang

机构 * Peking University（北京大学） 纠错

专题命中 程序修复 ：program repair(abstract)；coding agent(abstract)；分类 cs.AI

AI总结 Clover通过结构化搜索代码操作解决RTL修复问题，结合LLM和符号求解器动态调度任务，实现高可靠性修复，修复率高达96.8%。

On the Use of Commit Messages for Corrective Software Maintenance: A Systematic Mapping Study

关于使用提交信息进行纠正性软件维护：一项系统映射研究

Syful Islam, Stefano Zacchiroli

专题命中 程序修复 ：program repair(abstract)；repository(abstract)；分类 cs.SE

AI总结 本文通过系统映射研究97篇2004至2025年发表的文献，探讨提交信息在纠正性维护中的应用，发现提交信息在 bug 分析和修复识别中作用显著，但其他领域如自动程序修复研究较少。

Comments Preprint. Accepted for publication at EASE 2026 (Track: Research Papers)

Learned or Memorized ? Quantifying Memorization Advantage in Code LLMs

学习还是记忆？量化代码大语言模型中的记忆优势

Djiré Albérick Euraste, Kaboré Abdoul Kader, Jordan Samhi, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé

专题命中 程序修复 ：code generation(abstract)；program repair(abstract)；分类 cs.SE

AI总结 本文通过扰动方法量化代码LLM的记忆优势，评估8个开源代码LLM在19个基准测试中的表现，发现任务和模型差异显著，部分基准测试显示低敏感度，挑战了数据泄露的常见担忧。

Comments 12 pages, 12 figures. Accepted at ICSE 2026 (to appear)

NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect

NeuroProlog：通过鸡尾酒效应实现神经符号数学推理的多任务微调

Pratibha Zunjare, Michael Hsiao

机构 * Virginia Tech（弗吉尼亚理工大学） 纠错

专题命中 程序修复 ：program repair(abstract)；program synthesis(abstract)；分类 cs.AI

AI总结 NeuroProlog通过鸡尾酒效应实现神经符号数学推理的多任务微调，提升数学推理准确率并改进程序修复能力。