Brief Research Descriptions:

Genetic Programming for Automatic Program Repair: We use test cases to guide a genetic programming search algorithm to find a variant of a defective program that avoids given faulty behavior while retaining functionality. Consult Slides and Resources for source code and experiment reproduction instructions.
Specification Mining/Code Quality: We use lightweight code quality metrics, collected from source code, lightweight static analyses, and other software engineering artifacts to improve the accuracy of automatic specification mining of two-state temporal properties.

Publications:

  • Claire Le Goues, Michal Moskal and K. Rustan M. Leino. The Boogie Verification Debugger Software Engineering and Formal Methods (SEFM) (to appear)
  • Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest and Westley Weimer. GenProg: A Generic Method for Auotmated Software Repair. IEEE Transactions on Software Engineering (TSE) (accepted, to appear).
  • Claire Le Goues, Stephanie Forrest and Westley Weimer. The Case for Software Evolution. Foundations of Software Engineering Working Conference on the Future of Software Engineering (FoSER) 2010: 205-209.
  • Claire Le Goues and Westley Weimer. Measuring Code Quality to Improve Specification Mining. IEEE Transactions on Software Engineering (TSE) (accepted, to appear).
  • Westley Weimer, Stephanie Forrest, Claire Le Goues and ThanhVu Nguyen. Automatic Repair with Evolutionary Computation Communications of the ACM (CACM) Vol 53 No. 5, May, 2010, pp. 109-116. [bibtex]
  • Ethan Fast, Claire Le Goues, Stephanie Forrest and Westley Weimer. Designing Better Fitness Functions for Automated Program Repair. Genetic and Evolutionary Computation Conference (GECCO) 2010: 965-972. [bibtex]
  • 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: 947-954. (Best Paper)1 [bibtex]
  • 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, Manfred Paul Award)1 [bibtex]
  • 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 [bibtex]
  • 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. (Best Short Paper, Best Presentation)

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

    Dissertation Proposal:

  • Claire Le Goues. Automatic, Efficient, and General Repair of Software Defects Using Lightweight Program Analyses. September 2010
  • Presentation slides (pdf). September 2010

    • Master's Thesis:

  • Claire Le Goues. Specification Mining With Few False Positives. May 2009
  • Presentation slides (pdf). February 2009
    		•