paperbot · PL 论文追踪

全部论文 待读 收藏

P2 StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems

StandUp4NPR:标准化配置以实证比较神经程序修复系统
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 4/10 · 论文聚焦神经程序修复系统的统一基准与实证比较,属于AI4SE/程序修复,与用户核心关注的静态分析、LLM/Agent改进静态分析或形式化验证、浮点/贝叶斯程序分析均无直接交集。但其对统一实验设置和基准缺失的问题意识与用户对重要场景基准的兴趣有间接重合。引用 24 inbox
Wenkang Zhong, Hongliang Ge, Hongfei Ai, Chuanyi Li, Kui Liu, Jidong Ge, Bin Luo
crossref: 2026-09-12

AI 速览

一句话:构建标准基准与统一工具,在一致配置下实证比较六个SOTA神经程序修复系统,颠覆部分已有结论。

神经程序修复(NPR)系统虽发展迅速,但现有系统在训练数据、评测数据和候选数量等设置上差异巨大,导致比较结论难以公平可信。为缓解这一问题,作者首先构建了一个标准基准数据集与配套框架工具:数据集包含 144,641、13,739 和 13,706 对 Java 缺陷-修复样本,分别用于训练、验证和评测;工具支持选择特定数据集、自动执行 NPR 模型的训练与评测流水线,并通过定义良好的接口便捷集成新模型。基于该基准与工具,作者从可修复性、修复倾向和泛化性三个维度对六个 SOTA NPR 系统进行了全面实证比较。实验结果揭示了这些系统更深层的特性,并推翻了部分已有比较结论,进一步验证了统一实验设置的必要性。此外,作者还总结了 NPR 系统的若干共性(如擅长处理代码删除类缺陷),并据此指出了有前景的研究方向。

问题
现有神经程序修复系统在训练数据、评测数据、候选数量等实验设置上差异很大,导致系统间比较缺乏公平性,难以得出可靠结论。
方法
构建包含训练/验证/评测集的标准化 Java 缺陷-修复基准数据集,并开发支持数据选择、自动训练评测流水线及新模型接口集成的框架工具,在此基础上对六个 SOTA NPR 系统进行多维度实证比较。
评估
在统一基准上,从可修复性、修复倾向和泛化性三方面对六个 SOTA NPR 系统开展全面对比实验,并分析其共性特征与现有结论的可复现性。
原文摘要(Abstract)

Recently, the emerging trend in automatic program repair is to apply deep neural networks to generate fixed code from buggy ones, called NPR (Neural Program Repair). However, the existing NPR systems are trained and evaluated under very different settings (e.g., different training data, inconsistent evaluation data, wide-ranged candidate numbers), which makes it hard to draw fair-enough conclusions when comparing them. Motivated by this, we first build a standard benchmark dataset and an extensive framework tool to mitigate threats for the comparison. The dataset consists of a training set, a validation set and an evaluation set with 144,641, 13,739 and 13,706 bug-fix pairs of Java respectively. The tool supports selecting specific training, validation, and evaluation datasets and automatically conducting the pipeline of training and evaluating NPR models, as well as easily integrating new NPR models by implementing well-defined interfaces. Then, based on the benchmark and tool, we conduct a comprehensive empirical comparison of six SOTA NPR systems w.r.t the repairability, inclination and generalizability. The experimental results reveal deeper characteristics of compared NPR systems and subvert some existing comparative conclusions, which further verify the necessity of unifying the experimental setups in exploring the progresses of NPR systems. Meanwhile, we reveal some common features of NPR systems (e.g., they are good at dealing with code-delete bugs). Finally, we identify some promising research directions derived from our findings.

链接与引用

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

BibTeX
@inproceedings{paperbot7260,
  title = {StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems},
  author = {Wenkang Zhong and Hongliang Ge and Hongfei Ai and Chuanyi Li and Kui Liu and Jidong Ge and Bin Luo},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3556943}
}