Ultra-Large Repair Search Space with Automatically Mined Templates: the Cardumen Mode of Astor
arXiv:1712.03854 · doi:10.1007/978-3-319-99241-9_3
Abstract
Astor is a program repair library which has different modes. In this paper, we present the Cardumen mode of Astor, a repair approach based mined templates that has an ultra-large search space. We evaluate the capacity of Cardumen to discover test-suite adequate patches (aka plausible patches) over the 356 real bugs from Defects4J. Cardumen finds 8935 patches over 77 bugs of Defects4J. This is the largest number of automatically synthesized patches ever reported, all patches being available in an open-science repository. Moreover, Cardumen identifies 8 unique patches, that are patches for Defects4J bugs that were never repaired in the whole history of program repair.
References in corpus (9)
- Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
- Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset
- Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
- Identifying Patch Correctness in Test-Based Program Repair
- Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming
- Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System
- An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair
- Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness
- Precise Condition Synthesis for Program Repair
Cited by in corpus (19)
- TBar: Revisiting Template-based Automated Program Repair
- CURE: Code-Aware Neural Machine Translation for Automatic Program Repair
- FixMiner: Mining Relevant Fix Patterns for Automated Program Repair
- On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs
- iFixR: Bug Report driven Program Repair
- Automated Classification of Overfitting Patches with Statically Extracted Code Features
- Automated Patch Assessment for Program Repair at Scale
- Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
- Neural Program Repair: Systems, Challenges and Solutions
- IBIR: Bug Report driven Fault Injection
- StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
- Practical Program Repair via Preference-based Ensemble Strategy
- Test-based Patch Clustering for Automatically-Generated Patches Assessment
- Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts
- Estimating the Potential of Program Repair Search Spaces with Commit Analysis
- Interactive Patch Filtering as Debugging Aid
- How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques
- Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
- FlexiRepair: Transparent Program Repair with Generic Patches