paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Failure-driven program repair

失败驱动的程序修复
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 3/10 · 论文主题为自动程序修复，虽与程序分析与调试相关，但不属于用户核心关注的静态分析、形式化验证、浮点/贝叶斯程序分析，也未涉及 LLM/Agent 与 PL 的交叉，因此匹配度较低。引用 0 inbox
Davide Ginelli
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：探讨以失败为驱动的程序修复，旨在突破现有技术生成复杂修复的能力局限。

自动程序修复技术能够通过自动生成程序补丁显著降低调试成本，并已在若干类故障上取得成功，但现有方法在可生成修复的复杂度方面仍相当受限。本文题为《Failure-driven program repair》，关注失败驱动的程序修复方向，意图围绕程序失败信息来指导修复过程，以应对更复杂的修复场景。不过，所给摘要未具体说明其技术路线、实现机制或评估方案，因此无法从摘要判断该方法在修复复杂度、成功率或适用故障类别上的实际效果。

问题
自动程序修复虽能降低调试成本并在部分故障类别上成功，但现有技术能生成的修复复杂度仍然有限。
方法
论文以 failure-driven program repair 为题，摘要未展开具体方法；从题名可理解为以失败信息驱动修复，但细节未给出。
评估
摘要未提供评估方式、基准测试或实验结果。
原文摘要（Abstract）

Program repair techniques can dramatically reduce the cost of program debugging by automatically generating program fixes. Although program repair has been already successful with several classes of faults, it also turned out to be quite limited in the complexity of the fixes that can be generated.

链接与引用

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

BibTeX 
@inproceedings{paperbot5071,
  title = {Failure-driven program repair},
  author = {Davide Ginelli},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3341464}
}