Claire Le Goues
TitleCited byYear
Automatically finding patches using genetic programming
W Weimer, TV Nguyen, C Le Goues, S Forrest
2009 IEEE 31st International Conference on Software Engineering, 364-374, 2009
6152009
Genprog: A generic method for automatic software repair
C Le Goues, TV Nguyen, S Forrest, W Weimer
Ieee transactions on software engineering 38 (1), 54-72, 2011
5962011
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
C Le Goues, M Dewey-Vogt, S Forrest, W Weimer
2012 34th International Conference on Software Engineering (ICSE), 3-13, 2012
4472012
A genetic programming approach to automated software repair
S Forrest, TV Nguyen, W Weimer, C Le Goues
Proceedings of the 11th Annual conference on Genetic and evolutionary …, 2009
2252009
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
1812010
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
168*2011
Is the cure worse than the disease? overfitting in automated program repair
EK Smith, ET Barr, C Le Goues, Y Brun
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
1612015
History driven program repair
XBD Le, D Lo, C Le Goues
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
1512016
Repairing programs with semantic code search (t)
Y Ke, KT Stolee, C Le Goues, Y Brun
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
1512015
The ManyBugs and IntroClass benchmarks for automated repair of C programs
C Le Goues, N Holtschulte, EK Smith, Y Brun, P Devanbu, S Forrest, ...
IEEE Transactions on Software Engineering 41 (12), 1236-1256, 2015
1392015
Current challenges in automatic software repair
C Le Goues, S Forrest, W Weimer
Software quality journal 21 (3), 421-443, 2013
1372013
Who should test whom?
S McDonald, HM Edwards
Communications of the ACM 50 (1), 66-71, 2007
129*2007
S3: syntax-and semantic-guided repair synthesis via programming by examples
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
912017
A learning-to-rank based fault localization approach using likely invariants
TD B. Le, D Lo, C Le Goues, L Grunske
Proceedings of the 25th International Symposium on Software Testing and …, 2016
772016
Specification mining with few false positives
C Le Goues, W Weimer
International Conference on Tools and Algorithms for the Construction and …, 2009
752009
Representations and operators for improving evolutionary software repair
C Le Goues, W Weimer, S Forrest
Proceedings of the 14th annual conference on Genetic and evolutionary …, 2012
672012
Designing better fitness functions for automated program repair
E Fast, C Le Goues, S Forrest, W Weimer
Proceedings of the 12th annual conference on Genetic and evolutionary …, 2010
552010
The boogie verification debugger (tool paper)
C Le Goues, KRM Leino, M Moskal
International Conference on Software Engineering and Formal Methods, 407-414, 2011
442011
Measuring code quality to improve specification mining
C Le Goues, W Weimer
IEEE Transactions on Software Engineering 38 (1), 175-190, 2011
432011
JFIX: semantics-based repair of Java programs via symbolic PathFinder
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
352017
The system can't perform the operation now. Try again later.
Articles 1–20