对“从人工编写补丁中学习自动补丁生成”的批判性综述：关于自动软件修复的问题陈述与评估
软件工程
2022-02-11 v1
摘要
在 ICSE'2013 上，首次设立了专门致力于自动程序修复的会议环节。在该环节中，Kim 等人提出了 PAR，一种用于修复 Java 漏洞的新型基于模板的方法。我们强烈不同意该论文的关键观点。我们的批判性综述有两个目标。首先，我们旨在解释为何我们不同意 Kim 及其同事的观点，以及这种分歧背后的原因为何对一般的自动软件修复研究至关重要。其次，我们旨在通过澄清自动软件修复背后的核心思想为该领域做出贡献。特别是，我们讨论了自动软件修复的主要评估标准：可理解性、正确性和完备性。我们表明，取决于如何设置修复场景，评估目标可能是相互矛盾的。最后，我们讨论了修复可接受性的本质及其与软件正确性概念的关系。
引用
@article{arxiv.1408.2103,
title = {A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair},
author = {Martin Monperrus},
journal= {arXiv preprint arXiv:1408.2103},
year = {2022}
}
备注
ICSE 2014, India (2014)