Automated Patch Assessment for Program Repair at Scale
Not on the map. Why?
Abstract (arXiv)
In this paper, we do automatic correctness assessment for patches generated by program repair systems. We consider the human-written patch as ground truth oracle and randomly generate tests based on it, a technique proposed by Shamshiri et al., called Random testing with Ground Truth (RGT) in this paper. We build a curated dataset of 638 patches for Defects4J generated by 14 state-of-the-art repair systems, we evaluate automated patch assessment on this dataset. The results of this study are novel and significant: First, we improve the state of the art performance of automatic patch assessment with RGT by 190% by improving the oracle; Second, we show that RGT is reliable enough to help scientists to do overfitting analysis when they evaluate program repair systems; Third, we improve the external validity of the program repair knowledge with the largest study ever.
Key facts. Cited by 13 papers in the map (data through 7 Oct 2026). First posted on arXiv 30 Sep 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 1; 2023: 3; 2024: 2; 2025: 2; 2026: 4.
13 papers.
Sort:
By area:
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Modelscited by 118
- 2025An Empirical Study on Failures in Automated Issue Solvingcited by 15
- 2023Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoningcited by 11
- 2023RunBugRun -- An Executable Dataset for Automated Program Repaircited by 10
- 2022Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctnesscited by 7
- 2024Automated Program Repair: Emerging trends pose and expose problems for benchmarkscited by 7
- 2021Predicting Patch Correctness Based on the Similarity of Failing Test Casescited by 4
- 2024Risks of ignoring uncertainty propagation in AI-augmented security pipelinescited by 1
- 2025RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessmentcited by 1
- 2026Engineering Reliable Coding Agents: Evaluating and Operating the System Around the Modelcited by 1
- 2026VeriSkill: A Self-Evolution Framework for Program Verification Skillscited by 0
- 2026CAPRI: Contract-Aware Proof Repair for Isabellecited by 0
1 more
- 2026ExecCritic: Learn to Test, Test to Improve for Coding Agents8 Sep 2026
- 2026Engineering Reliable Coding Agents: Evaluating and Operating the System Around the Model14 Aug 2026
- 2026CAPRI: Contract-Aware Proof Repair for Isabelle13 Aug 2026
- 2026VeriSkill: A Self-Evolution Framework for Program Verification Skills30 Jul 2026
- 2025An Empirical Study on Failures in Automated Issue Solving17 Sep 2025
- 2025RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment30 Jul 2025
- 2024Risks of ignoring uncertainty propagation in AI-augmented security pipelines14 Jul 2024
- 2024Automated Program Repair: Emerging trends pose and expose problems for benchmarks8 May 2024
- 2023RunBugRun -- An Executable Dataset for Automated Program Repair3 Apr 2023
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Models8 Mar 2023
- 2023Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning3 Jan 2023
- 2022Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness8 Aug 2022
1 more
- 2025An Empirical Study on Failures in Automated Issue Solvingcited by 15
- 2026Engineering Reliable Coding Agents: Evaluating and Operating the System Around the Modelcited by 1
- 2026VeriSkill: A Self-Evolution Framework for Program Verification Skillscited by 0
- 2026ExecCritic: Learn to Test, Test to Improve for Coding Agentscited by 0
- 2026ExecCritic: Learn to Test, Test to Improve for Coding Agents8 Sep 2026
- 2026Engineering Reliable Coding Agents: Evaluating and Operating the System Around the Model14 Aug 2026
- 2026VeriSkill: A Self-Evolution Framework for Program Verification Skills30 Jul 2026
- 2025An Empirical Study on Failures in Automated Issue Solving17 Sep 2025
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Modelscited by 118
- 2023Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoningcited by 11
- 2023RunBugRun -- An Executable Dataset for Automated Program Repaircited by 10
- 2022Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctnesscited by 7
- 2024Automated Program Repair: Emerging trends pose and expose problems for benchmarkscited by 7
- 2021Predicting Patch Correctness Based on the Similarity of Failing Test Casescited by 4
- 2024Risks of ignoring uncertainty propagation in AI-augmented security pipelinescited by 1
- 2026CAPRI: Contract-Aware Proof Repair for Isabellecited by 0
- 2026CAPRI: Contract-Aware Proof Repair for Isabelle13 Aug 2026
- 2024Risks of ignoring uncertainty propagation in AI-augmented security pipelines14 Jul 2024
- 2024Automated Program Repair: Emerging trends pose and expose problems for benchmarks8 May 2024
- 2023RunBugRun -- An Executable Dataset for Automated Program Repair3 Apr 2023
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Models8 Mar 2023
- 2023Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning3 Jan 2023
- 2022Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness8 Aug 2022
- 2021Predicting Patch Correctness Based on the Similarity of Failing Test Cases28 Jul 2021