 | 2012 |
|---|
| 9 |       | Claire Le Goues,
Westley Weimer:
Measuring Code Quality to Improve Specification Mining.
IEEE Trans. Software Eng. 38(1): 175-190 (2012) |
| 8 | | Claire Le Goues,
ThanhVu Nguyen,
Stephanie Forrest,
Westley Weimer:
GenProg: A Generic Method for Automatic Software Repair.
IEEE Trans. Software Eng. 38(1): 54-72 (2012) |
| 2011 |
|---|
| 7 | | Claire Le Goues,
K. Rustan M. Leino,
Michal Moskal:
The Boogie Verification Debugger (Tool Paper).
SEFM 2011: 407-414 |
| 2010 |
|---|
| 6 | | Claire Le Goues,
Stephanie Forrest,
Westley Weimer:
The case for software evolution.
FoSER 2010: 205-210 |
| 5 | | Ethan Fast,
Claire Le Goues,
Stephanie Forrest,
Westley Weimer:
Designing better fitness functions for automated program repair.
GECCO 2010: 965-972 |
| 4 | | Westley Weimer,
Stephanie Forrest,
Claire Le Goues,
ThanhVu Nguyen:
Automatic program repair with evolutionary computation.
Commun. ACM 53(5): 109-116 (2010) |
| 2009 |
|---|
| 3 | | Stephanie Forrest,
ThanhVu Nguyen,
Westley Weimer,
Claire Le Goues:
A genetic programming approach to automated software repair.
GECCO 2009: 947-954 |
| 2 | | Westley Weimer,
ThanhVu Nguyen,
Claire Le Goues,
Stephanie Forrest:
Automatically finding patches using genetic programming.
ICSE 2009: 364-374 |
| 1 | | Claire Le Goues,
Westley Weimer:
Specification Mining with Few False Positives.
TACAS 2009: 292-306 |
Data released under the ODC-BY 1.0 license — See also our legal information page