- author = "Martin Monperrus",
- title = "Automatic Software Repair: a Bibliography",
- institution = "Centre poor la Communication Scientifique Direct",
- year = "2015",
- number = "hal-01206501",
- address = "France",
- month = "21 " # nov,
- keywords = "genetic algorithms, genetic programming, genetic improvement, APR, Software Engineering, GenProg",
- hal_id = "hal-01206501",
- hal_version = "v1",
-
URL = "
https://hal.archives-ouvertes.fr/hal-01206501",
-
URL = "
http://www.monperrus.net/martin/survey-automatic-repair.pdf",
- size = "34 pages",
- abstract = "This article presents an annotated bibliography on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs, without human intervention. 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. Furthermore, it provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.",
-
notes = "University of Lille and Inria. Little mention of GP
except University of Virginia work. gismo
automatic repair (program repair, self-repair) automatic fixing (bug fixing, program fixing) automatic patching healing (self-healing) automatic correction (self-correcting) automatic recovery (self-recovering) resilience automatic workaround survive (survival, survivability) rejuvenation biological metaphors: allergies, immunity, vaccination
EXP, Jaff, Mutation, Metaprogram, Semfix, PAR, Nopol, Relifix, DirectFix, SPR, CodePhage, SearchRepair, Prophet, AutoFix-E, Alloy for repair, Pachika.
.NET, Arithmetic overflow, Buffer overflow, Overflows, AutoPag, AFix, Android, SoupInt, malformed HTML, R2Fix, Proof, Reference implementation, architectural repair, test repair, failure-oblivious computing, missing checks, Carburizer, SQL injection, Findbugs, input filter generation, unhandled exceptions, contract, Software Rejuvenation, Microreboot, Checkpoint, recovery block, automatic workaround, data diversity, input rectification, Rx DieHard, Exterminator, ClearView, Assure, loop perforation, RCV, redundancy, assumption, patch, acceptability, overfitting, benchmark, crash-only, software, SafeDrive, Bristlecone, systematic edit, Coccinelle, HelpMeout, BugFix, MintHint, Excel.
Latest version: http://www.monperrus.net/martin/survey-automatic-repair.pdf Updated in \cite{DBLP:journals/corr/abs-1807-00515} See \cite{Monperrus:2018:ACM_CSUR}",
