Stephanie Forrest

EPR Publications

• DIG: A Dynamic invariant generator for polyno- mial and array invariants. . Nguyen, D. Kapur, W. Weimer, S. Forrest. ACM Transactions on Software Engineering and Methodology (submitted Dec. 2012).
• Software mutational robustness. . Schulte, Z. P. Fry, E. Fast, W. Weimer, S. Forrest. Genetic Programming and Evolvable Machines (submitted Nov. 2012).
• Automated repair of binary and assembly programs for cooperating embedded devices. E. Schulte, J. DiLorenzo, W. Weimer, S. Forrest (accepted to ASPLOS'13)
• Using Dynamic Analysis to Discover Polynomial and Array Invariants T. Nguyen, D. Kapur, W. Weimer, S. Forrest International Conference on Software Engineering (ICSE'12) (2012)
• A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8.00 Each C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer. International Conference on Software Engineering (ICSE'12) (2012)
• Representations and Operators for Improving Evolutionary Software Repair C. Le Goues, W. Weimer, S. Forrest. Genetic and Evolutionary Computation Conference (2012)
• GenProg: Automatic Bug Correction in Real Programs C. Le Goues, T. Nguyen, S. Forrest, W. Weimer. ACM Transactions on Software Engineering 38:1 (2012)
• Automatic Program Repair with Evolutionary Computation W. Weimer, S. Forrest, C. Le Goues, T. Nguyen. Communications of the ACM Research Highlight 53:5 pp. 109-116 (2010)
• Automated Program Repair through the Evolution of Assembly Code E. Schulte, S. Forrest, and W. Weimer. 25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)
• Designing Better Fitness Functions for Automated Program Repair E. Fast, C. Le Goues, W. Weimer, and S. Forrest. Genetic and Evolutionary Computation Conference (2010)
• A Genetic Programming Approach to Automated Software Repair S. Forrest, T. Nguyen, W. Weimer, and C. Le Goues. Genetic and Evolutionary Computation Conference (2009)
• Automatically Finding Patches using Genetic Programming W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. ICSE '09: /Proceedings of the 2009 IEEE 31st International Conference on Software Engineering/, pp. 364–374. IEEE Computer Society, Washington, DC. (2009)

Other Publications