Abstract:Automated program repair holds the potential to significantly reduce software maintenance effort and cost. However, recent studies have shown that it often produces low-quality patches that repair some but break other functionality. We hypothesize that producing patches by replacing likely faulty regions of code with semantically-similar code fragments, and doing so at a higher level of granularity than prior approaches can better capture abstraction and the intended specification, and can improve repair quality. We create SOSRepair, an automated program repair technique that uses semantic code search to replace candidate buggy code regions with behaviorally-similar (but not identical) code written by humans. SOSRepair is the first such technique to scale to real-world defects in real-world systems. On a subset of the ManyBugs benchmark of such defects, SOSRepair produces patches for 22 (34%) of the 65 defects, including 3, 5, and 6 defects for which previous state-of-the-art techniques Angelix, Prophet, and GenProg do not, respectively. On these 22 defects, SOSRepair produces more patches (9, 41%) that pass all independent tests than the prior techniques. We demonstrate a relationship between patch granularity and the ability to produce patches that pass all independent tests. We then show that fault localization precision is a key factor in SOSRepair's success. Manually improving fault localization allows SOSRepair to patch 23 (35%) defects, of which 16 (70%) pass all independent tests. We conclude that (1) higher-granularity, semantic-based patches can improve patch quality, (2) semantic search is promising for producing high-quality real-world defect repairs, (3) research in fault localization can significantly improve the quality of program repair techniques, and (4) semi-automated approaches in which developers suggest fix locat-ons may produce high-quality patches.

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

The Future Can’t Help Fix the Past: Assessing Program Repair in the Wild

Repairing Learning-Enabled Controllers While Preserving What Works

Confix: Combining Node-Level Fix Templates and Masked Language Model for Automatic Program Repair

Shaping Program Repair Space with Existing Patches and Similar Code

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency

Towards Practical and Useful Automated Program Repair for Debugging

Better Automatic Program Repair by Using Bug Reports and Tests Together

High-Quality Automated Program Repair

Automatic Failure Explanation in CPS Models

Repairing Bugs in Python Assignments Using Large Language Models

RePair: Automated Program Repair with Process-based Feedback

Reachability Resolution for Discrete‐time Hybrid Systems with Application to Automated Test Generation for Simulink/Stateflow

ThinkRepair: Self-Directed Automated Program Repair

SOSRepair: Expressive Semantic Search for Real-World Program Repair

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair

Enhancing Code Language Models for Program Repair by Curricular Fine-tuning Framework

Exploring the Potential of Pre-Trained Language Models of Code for Automated Program Repair

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis

FAPR: Fast and Accurate Program Repair for Introductory Programming Courses

FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments