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