paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Identifying patch correctness in test-based program repair

基于测试的程序修复中补丁正确性的识别
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10 · 该论文属于测试驱动的自动程序修复与补丁正确性识别，与用户关注的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析等核心方向关联较弱；也未体现 LLM/Agent 作为工具或相关交叉。引用 167 inbox
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：针对基于测试的自动程序修复中错误补丁泛滥的问题，研究如何识别补丁的正确性。

基于测试的自动程序修复（APR）近年来受到广泛关注，但实际中的测试套件往往过弱，无法保证修复的正确性，导致现有方法生成大量不正确的补丁。本文聚焦于这一问题，研究如何在测试驱动的修复流程中识别补丁的正确性，以将真正正确的修复与仅在测试上通过的过拟合补丁区分开来。所给摘要仅阐述了问题背景与动机，未披露具体的识别方法、技术路线以及实验评估结果。

问题
基于测试的自动程序修复依赖的测试套件通常过弱，无法保证补丁正确性，现有方法会生成大量不正确的补丁。
方法
摘要未给出具体方法细节；论文旨在识别基于测试的程序修复所生成补丁的正确性，以区分正确补丁与错误补丁。
评估
摘要未提供评估方式或实验结果。
原文摘要（Abstract）

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.

链接与引用

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

BibTeX 
@inproceedings{paperbot4465,
  title = {Identifying patch correctness in test-based program repair},
  author = {Yingfei Xiong and Xinyuan Liu and Muhan Zeng and Lu Zhang and Gang Huang},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3180182}
}