Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
arXiv:1404.3186 · doi:10.1145/2593735.2593740
Abstract
We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result -- if there exists one -- into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.
CSTVA'2014, India (2014)
References in corpus (1)
Cited by in corpus (22)
- Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
- Practical Program Repair in the Era of Large Pre-trained Language Models
- Automatic Software Repair: a Bibliography
- Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset
- Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
- A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
- Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
- Test Case Purification for Improving Fault Localization
- Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
- Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming
- Tortoise: Interactive System Configuration Repair
- An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair
- Revisiting the Plastic Surgery Hypothesis via Large Language Models
- Automatic Repair of Infinite Loops
- Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms
- FAPR: Fast and Accurate Program Repair for Introductory Programming Courses
- Data-Driven Vulnerability Detection and Repair in Java Code
- ACDC: Altering Control Dependence Chains for Automated Patch Generation
- Dynamic Analysis can be Improved with Automatic Test Suite Refactoring
- Obstacles in Fully Automatic Program Repair: A survey
- Production-Driven Patch Generation and Validation
- An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems