Claire Le Goues - Publications

O Home O Publications O Projects O Slides O C.V. O Personal O

Conference:

Stephanie Forrest, Westley Weimer, ThanhVu Nguyen and Claire Le Goues. A Genetic Programming Approach to Automatic Program Repair. Genetic and Evolutionary Computation Conference (GECCO) 2009. (Best Paper Award)¹

Westley Weimer, ThanhVu Nguyen, Claire Le Goues and Stephanie Forrest. Automatically Finding Patches Using Genetic Programming. International Conference on Software Engineering (ICSE) 2009: 364-374. (Distinguished Paper Award, Manfred Paul Award)¹

Claire Le Goues and Westley Weimer. Specification Mining With Few False Positives. Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009: 292-306

¹This work received Gold in the 6^th annual (2009) "Humies" Awards for Human-Competitive Results Produced by Genetic and Evolutionary Computation, awarded at the 2009 GECCO in Montreal, Quebec.

Workshop:

ThanhVu Nguyen, Westley Weimer, Claire Le Goues and Stephanie Forrest, Extended Abstract: Using Execution Paths to Evolve Software Patches. Search-Based Software Testing (SBST) 2009. (to appear) (Best Short Paper Award, Best Presentation Award)

Thesis:

Claire Le Goues. Specification Mining With Few False Positives. May 2009