Abstract:A key challenge in generate-and-validate automated program repair is directing the search for fixes so that it can efficiently find those that are more likely to be correct. To this end, several techniques use machine learning to capture the features of programmer-written fixes. In existing approaches, fitting the model typically takes place before fix generation and is independent of it: the fix generation process uses the learned model as one of its inputs. However, the intermediate outcomes of an ongoing fix generation process often provide valuable information about which candidate fixes were “better”; this information could profitably be used to retrain the model, so that each new iteration of the fixing process would also learn from the outcome of previous ones. In this paper, we propose the Liana technique for automated program repair, which is based on this idea of repeatedly learning the features of generated fixes. To this end, Liana uses a fine-grained model that combines information about fix characteristics, their relations to the fixing context, and the results of test execution. The model is initially trained offline, and then repeatedly updated online as the fix generation process unravels; at any step, the most up-to-date model is used to guide the search for fixes—prioritizing those that are more likely to include the right ingredients. In an experimental evaluation on 732 real-world Java bugs from 3 popular benchmarks, Liana built correct fixes for 134 faults (83 ranked as first in its output)— improving over several other generate-and-validate program repair tools according to various measures.

B-Repair: Repairing B-Models Using Machine Learning

Automatic B-model Repair Using Model Checking and Machine Learning

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

B Model Quality Assessments on Automated Reachability Repair with ISO/IEC 25010

Design Model Repair with Formal Verification.

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment

RePair: Automated Program Repair with Process-based Feedback

RepairBench: Leaderboard of Frontier Models for Program Repair

Automatic Refactoring of Conditions and Substitutions for B State Transition Models.

Program Repair with Repeated Learning

ThinkRepair: Self-Directed Automated Program Repair

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

BROKEN AREA MODELING FOR REPAIR AUTOMATION

Using the Deep Learning-Based Approaches for Program Debugging and Repair

Automated Program Repair for Introductory Programming Assignments Via Bidirectional Refactoring

Break-It-Fix-It: Unsupervised Learning for Program Repair

Automatic Software Repair: a Bibliography

Peer-aided Repairer: Empowering Large Language Models to Repair Advanced Student Assignments

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair