paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Do automated program repair techniques repair hard and important bugs?

自动程序修复技术能修复困难且重要的缺陷吗？
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10 · 论文研究自动程序修复技术能否修复开发者认为重要或手动困难的缺陷，属于软件工程/测试调试修复领域，与用户核心关注的静态分析、LLM/Agent 交叉、浮点程序分析、贝叶斯程序分析均无直接关系，仅可视为程序分析相邻领域的经验研究。引用 12 inbox
Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：考察自动程序修复技术能否修复开发者认为重要或手动修复困难的缺陷。

自动程序修复技术以含缺陷程序和部分规约（通常是测试套件）为输入，生成满足规约的程序变体。此前研究已考察补丁质量和可维护性，但尚未检验自动修复技术能否修复开发者认为重要、或对开发者而言手动修复困难的缺陷。本文针对这两个问题展开研究：一是自动修复技术能否修复开发者认为重要的缺陷，二是能否修复开发者手动修复困难的缺陷。论文旨在揭示现有自动程序修复技术在实际开发关注点上的能力边界。摘要未报告具体发现或评估结果。

问题
自动程序修复技术能否修复开发者认为重要或手动修复困难的缺陷？此前工作尚未回答这一问题。
方法
本文围绕自动程序修复的输入设定（含缺陷程序和部分规约，通常为测试套件），针对上述两个问题展开研究。
评估
摘要未给出具体评估方式或结果，仅说明论文旨在考察自动修复技术在这两类缺陷上的修复能力。
原文摘要（Abstract）

Automated program repair techniques use a buggy program and a partial specification (typically a test suite) to produce a program variant that satisfies the specification. While prior work has studied patch quality [10, 11] and maintainability [2], it has not examined whether automated repair techniques are capable of repairing defects that developers consider important or that are hard for developers to repair manually. This paper tackles those questions.

链接与引用

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

BibTeX 
@inproceedings{paperbot4408,
  title = {Do automated program repair techniques repair hard and important bugs?},
  author = {Manish Motwani and Sandhya Sankaranarayanan and René Just and Yuriy Brun},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3182533}
}