GenProg swMATH ID: 22863 Software Authors: Goues, C; Nguyen, T; Forrest, S; Weimer, W, Description: GenProg: A Generic Method for Automatic Software Repair. This paper describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal specifications, program annotations, or special coding practices. GenProg uses an extended form of genetic programming to evolve a program variant that retains required functionality but is not susceptible to a given defect, using existing test suites to encode both the defect and required functionality. Structural differencing algorithms and delta debugging reduce the difference between this variant and the original program to a minimal repair. We describe the algorithm and report experimental results of its success on 16 programs totaling 1.25 M lines of C code and 120K lines of module code, spanning eight classes of defects, in 357 seconds, on average. We analyze the generated repairs qualitatively and quantitatively to demonstrate that the process efficiently produces evolved programs that repair the defect, are not fragile input memorizations, and do not lead to serious degradation in functionality. Homepage: http://ieeexplore.ieee.org/document/6035728/ Related Software: Prophet; Angelix; GZoltar; Nopol; ASTOR; SemFix; SQLizer; PyGGI; Gin; SpreadsheetCoder; DeepCoder; RobustFill; PonyGE2; DLFix; DeepFix; QuixBugs; EASEA; Gen-O-Fix; Djinn; Apache Spark Cited in: 5 Documents all top 5 Cited by 13 Authors 1 Banzhaf, Wolfgang 1 Friedrich, Tobias 1 Khaireddine, Besma 1 Kocsis, Zoltan A. 1 Kötzing, Timo 1 Lagodzinski, J. A. Gregor 1 Martinez, Matias 1 Mili, Ali 1 Neumann, Frank 1 Parrend, Pierre 1 Schirneck, Martin 1 Swan, Jerry 1 Zakharchenko, Aleksandr Cited in 5 Serials 1 Acta Informatica 1 Artificial Intelligence 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Journal of Systems Science and Complexity Cited in 3 Fields 4 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year