paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Improving Patch Quality by Enhancing Key Components of Automatic Program Repair

通过增强自动程序修复的关键组件来提升补丁质量
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10 · 该论文属于自动程序修复与软件测试方向，关注补丁质量、测试套件分析和变异算子，与用户画像中的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析均无直接关联。摘要也未涉及 LLM、Agent、形式化验证或工业落地工具分析。引用 5 inbox
Mauricio Soto
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：针对自动程序修复中补丁质量低、易过拟合的问题，提出通过测试套件分析、变异算子选择与补丁多样性来提升补丁质量。

自动程序修复可减少开发者在错误修复中的人工投入，但自动生成的补丁常质量不高，容易过拟合单一程序规约，难以通过独立 oracle 评估。该工作提出一组机制以提升 plausible patches 的质量：分析测试套件行为及其对自动程序修复的关键特征；分析开发者行为，用以指导变异算子的选择分布；研究补丁多样性，以整合并生成更高质量的修复。摘要未给出具体实验数据或最终结论。

问题
自动程序修复生成的补丁常因过拟合而质量低，难以泛化到独立 oracle 评估。
方法
提出机制：分析测试套件行为与关键特征、用开发者行为指导变异算子选择分布、研究补丁多样性以整合高质量修复。
评估
通过上述分析来改进补丁质量；摘要未报告具体实验设置或量化结果。
原文摘要（Abstract）

The error repair process in software systems is, historically, a resource-consuming task that relies heavily in developer manual effort. Automatic program repair approaches enable the repair of software with minimum human interaction, therefore, mitigating the burden from developers. However, a problem automatically generated patches commonly suffer is generating low-quality patches (which overfit to one program specification, thus not generalizing to an independent oracle evaluation). This work proposes a set of mechanisms to increase the quality of plausible patches including an analysis of test suite behavior and their key characteristics for automatic program repair, analyzing developer behavior to inform the mutation operator selection distribution, and a study of patch diversity as a means to create consolidated higher quality fixes.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot5328,
  title = {Improving Patch Quality by Enhancing Key Components of Automatic Program Repair},
  author = {Mauricio Soto},
  booktitle = {ASE},
  year = {2019},
  doi = {10.1109/ase.2019.00147}
}