ACM Computing Surveys· 2018Q1
Automatic Software Repair
- 307citations
- Q1SCImago
- 2018year
Short summary
This survey provides a structured overview of automatic software repair techniques, categorizing them by bug oracle type (behavioral vs. state) and repair operator diversity.
AI-generated from the title and abstract; the full text is not read.
Key points
- Automatic software repair aims to fix bugs without human intervention.
- Techniques are categorized into behavioral repair (using test suites, models) and state repair (runtime recovery).
- The survey spans software engineering, dependability, operating systems, programming languages, and security research communities.
- It offers a structured overview of diverse bug oracles and repair operators used in the field.
AI-generated from the title and abstract; the full text is not read.
Abstract
This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.
The authors' abstract, as published at the source. ACM Computing Surveys, 2018 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science