paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TBar: revisiting template-based automated program repair

TBar:重新审视基于模板的自动程序修复
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 2/10 · 该论文聚焦传统模板式自动程序修复(APR)与 Defects4J 基准,虽与缺陷定位/程序分析有间接关联,但未涉及用户核心关注的静态分析与 LLM/Agent 交叉、浮点程序分析或贝叶斯程序分析。引用 315 inbox
Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
crossref: 2026-09-12

AI 速览

一句话:系统整理修复模式并构建 TBar,在 Defects4J 上正确修复 43 个缺陷,刷新当时 APR 最佳成绩。

论文重新审视基于模板的自动程序修复(APR)的实际效果,旨在建立关于修复模式有效性的全面认识,并强调故障定位、供体代码检索等辅助步骤的重要性。作者首先调研文献,收集、归纳并标注了反复出现的修复模式;在此基础上构建了 TBar——一个直接系统化地将这些修复模式应用于程序缺陷的 APR 工具。论文在 Defects4J 基准上对 TBar 进行了充分评估,重点考察修复模式在定性与定量上的多样性,以及它们产生合理补丁或正确补丁的能力。结果显示:假设故障定位完美,TBar 可正确或合理地修复 74/101 个缺陷;在复现标准且实用的 APR 评估流水线时,TBar 正确修复了 Defects4J 中的 43 个缺陷,这一性能在文献中(涵盖模板式、随机变异式以及基于合成的所有 APR 方法)前所未有。

问题
模板式自动程序修复的真实性能与修复模式的有效性缺乏系统评估,且既有工作常忽视故障定位、供体代码检索等互补步骤对修复结果的影响。
方法
通过文献调研收集、总结并标注常用的循环修复模式,据此构建 TBar 工具,系统化地将这些模板匹配并应用于缺陷程序以生成补丁。
评估
在 Defects4J 基准上评估修复模式的定性与定量多样性及其产生合理/正确补丁的效果,既考察完美故障定位下的修复上限,也复现标准 APR 流水线以报告实际修复数量。
原文摘要(Abstract)

We revisit the performance of template-based APR to build comprehensive knowledge about the effectiveness of fix patterns, and to highlight the importance of complementary steps such as fault localization or donor code retrieval. To that end, we first investigate the literature to collect, summarize and label recurrently-used fix patterns. Based on the investigation, we build TBar, a straightforward APR tool that systematically attempts to apply these fix patterns to program bugs. We thoroughly evaluate TBar on the Defects4J benchmark. In particular, we assess the actual qualitative and quantitative diversity of fix patterns, as well as their effectiveness in yielding plausible or correct patches. Eventually, we find that, assuming a perfect fault localization, TBar correctly/plausibly fixes 74/101 bugs. Replicating a standard and practical pipeline of APR assessment, we demonstrate that TBar correctly fixes 43 bugs from Defects4J, an unprecedented performance in the literature (including all approaches, i.e., template-based, stochastic mutation-based or synthesis-based APR).

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5354,
  title = {TBar: revisiting template-based automated program repair},
  author = {Kui Liu and Anil Koyuncu and Dongsun Kim and Tegawendé F. Bissyandé},
  booktitle = {ISSTA},
  year = {2019},
  doi = {10.1145/3293882.3330577}
}