Stephanie Forrest

Publications on Automated Software Improvement

• Scalable software energy reduction. J. Dorn, J. Lacomis, W. Weimer, and S. Forrest. ACM Transactions on Software Engineering (submitted Dec. 2016).
• Connecting program synthesis and reachability: Automatic program repair using test-input generation T. Nguyen, W. Weimer, D. Kapur, and S. Forrest. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (2017).
• Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair E. Schulte, W. Weimer, and S. Forrest The First International Genetic Improvement Workshop, 2015 (best paper award).
• The ManyBugs and IntroClass benchmarks for automated repair of C programs C. Le Goues, N. Holtschulte, E. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer ACM Transactions on Software Engineering 41:12 (2015)
• Using dynamic analysis to generate disjunctive invariants T. Nguyen, D. Kapur, W. Weimer, and S. Forrest. International Conference on Software Engineering (ICSE), 2014
• DIG: A Dynamic invariant generator for polynomial and array invariants T. Nguyen, D. Kapur, W. Weimer, S. Forrest. ACM Transactions on Software Engineering and Methodology 23:4 DOI 10.1145/2556782 (2014)
• Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results W. Weimer, Z. Fry and S. Forrest. Automated Softare Engineering (ASE) Conference (2013).
• Software mutational robustness Schulte, Z. P. Fry, E. Fast, W. Weimer, S. Forrest. Genetic Programming and Evolvable Machines 15:3 pp. 281-312 (2014) DOI 10.1007/s10710-013-9195-8
• Automated repair of binary and assembly programs for cooperating embedded devices E. Schulte, J. DiLorenzo, W. Weimer, S. Forrest Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013)
• 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