mlsanityData to 7 Oct 2026

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

arXiv 1404.3186 ↗First posted 11 Apr 2014cs.SEcited by 7

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 7 papers in the map (data through 7 Oct 2026). First posted on arXiv 11 Apr 2014.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2022: 1; 2023: 5; 2024: 1.

7 papers.

  1. 2023Keep the Conversation Going: Fixing 162 out of 337 bugs for 0.42 each using ChatGPTcited by 125
  2. 2023Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repaircited by 55
  3. 2022FixEval: Execution-based Evaluation of Program Fixes for Programming Problemscited by 17
  4. 2024COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesiscited by 13
  5. 2023Enhancing Automated Program Repair through Fine-tuning and Prompt Engineeringcited by 10
  6. 2023Revisiting the Plastic Surgery Hypothesis via Large Language Modelscited by 7
  7. 2023Exploring the Limits of ChatGPT in Software Security Applicationscited by 5