Automatic Software Repair: a Bibliography
This is an incremental survey paper that synthesizes existing knowledge for researchers in software engineering and related fields.
This paper provides a comprehensive survey of automatic software repair techniques, covering behavioral repair using test suites and other oracles, and state repair methods like checkpointing. It offers a structured overview of bug oracles and repair operators across multiple research communities.
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.