Publications


GenProg-related publications

This page focusing primarily on publications whose data and experiments were implemented on top of the GenProg codebase by researchers related to the core GenProg team. program-repair.org provides a much more complete, community-supported list of papers related to program repair generally, including papers that build upon or compare to GenProg.

This page is sorted topically.


Broad overviews and high-level arguments

Claire Le Goues, Stephanie Forrest, Westley Weimer. Current Challenges in Automatic Software Repair. Software Quality Journal (SQJO), 2013.
PDF DOI BibTex

Westley Weimer. Advances in Automated Program Repair and a Call To Arms. Symposium on Search Based Software Engineering (SSBSE), 2013.
PDF DOI BibTex

Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen. Automatic Program Repair With Evolutionary Computation. Communications of the ACM (CACM), 2010.
PDF DOI BibTex

Claire Le Goues, Stephanie Forrest, Westley Weimer. The Case for Software Evolution. Foundations of Software Engineering Working Conference on the Future of Software Engineering (FoSER), at the International Symposium on Foundations of Software Engineering (FSE), 2010.
PDF DOI BibTex


Automated Program Repair

…targeting C programs

Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, Westley Weimer. The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Transactions on Software Engineering (TSE), 2015 (featured article).
PDF DOI BibTex | Code, Dataset, and Results

Westley Weimer, Zachary P. Fry, Stephanie Forrest: Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results. Automated Software Engineering (ASE), 2013.
PDF DOI BibTex | Code Dataset Results

Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer. A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each. International Conference on Software Engineering (ICSE), 2012. Note: please use the more recent ManyBugs dataset for future experiments.
PDF DOI BibTex | Code Virtual Machine Images Dataset Results

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer. GenProg: A Generic Method for Automated Software Repair. IEEE Trans. Software Engineering (TSE), 2012 (featured article).
PDF DOI BibTex | Code Results

Stephanie Forrest, Westley Weimer, ThanhVu Nguyen, Claire Le Goues. A Genetic Programming Approach to Automated Software Repair. Genetic and Evolutionary Computing Conference (GECCO), 2009 (best paper award) (gold, human-competitive award).
PDF DOI BibTex | Code Dataset Results

ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest. Using Execution Paths to Evolve Software Patches. Workshop on Search-Based Software Testing (SBST) 2009 (best short paper award) (best presentation award).
PDF DOI BibTex

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest. Automatically Finding Patches Using Genetic Programming. International Conference on Software Engineering (ICSE), 2009 (distinguished paper award) (IFIP TC2 Manfred Paul award).
PDF DOI BibTex | Code Dataset Results

…targeting assembly code

Eric M. Schulte, Westley Weimer, Stephanie Forrest. Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair, GECCO Companion, 2015.
PDF DOI BibTex | Code, Dataset, and Results

Eric Schulte, Jonathan DiLorenzo, Stephanie Forrest and Westley Weimer. Automated Repair of Binary and Assembly Programs for Cooperating Embedded Devices. Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2013.
PDF DOI BibTex | Code, Dataset, and Results

Eric Schulte, Stephanie Forrest, Westley Weimer. Automated Program Repair through the Evolution of Assembly Code. Automated Software Engineering (ASE, Short Paper), 2010.
PDF DOI BibTex | Code, Dataset, and Results


Search specifics

Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, and Celso G. Camilo-Junior. Improved Crossover Operators for Genetic Programming for Program Repair. In Proceedings of the 8th International Symposium on Search Based Software Engineering (SSBSE), 2016.
PDF DOI BibTex

Claire Le Goues, Westley Weimer, Stephanie Forrest. Representations and Operators for Improving Evolutionary Software Repair. Genetic and Evolutionary Computing Conference (GECCO), 2012.
PDF DOI BibTex | Code Virtual Machine Images Dataset Results

Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer. Designing better fitness functions for automated program repair. Genetic and Evolutionary Computing Conference (GECCO), 2010.
PDF DOI BibTex | Code, Dataset, and Results


Patch quality, software robustness

Edward K. Smith, Earl Barr, Claire Le Goues, and Yuriy Brun, Is the Cure Worse than the Disease? Overfitting in Automated Program Repair, in Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ‘15), 2015.
PDF DOI BibTex

Zachary P. Fry, Bryan Landau, Westley Weimer: A Human Study of Patch Maintainability. International Symposium on Software Testing and Analysis (ISSTA), 2012.
PDF DOI BibTex

Eric Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest. Software Mutational Robustness. Journ. Genetic Programming and Evolvable Machines (GEPM), 2013.
PDF DOI BibTex


Non-functional or quality properties:

Jonathan Dorn, Connelly Barnes, Jason Lawrence, Westley Weimer: Towards Automatic Band-Limited Procedural Shaders: Pacific Graphics (PG) 2015: 77-87
PDF DOI BibTex Appendix | Dataset

Adam Brady, Jason Lawrence, Pieter Peers, Westley Weimer. genBRDF: Discovering New analytic BRDFs with Genetic Programming. ACM Transactions on Graphics (Proc. SIGGRAPH), 2014.
PDF DOI BibTex

Eric Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer. Post-compiler Software Optimization for Reducing Energy. Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
PDF DOI BibTex

Pitchaya Sitthi-amorn, Nicholas Modly, Westley Weimer, Jason Lawrence. Genetic Programming for Shader Simplification. ACM Transactions on Graphics (Proc. SIGGRAPH Asia), 2011
PDF DOI BibTex