Claire Le Goues
TitleCited byYear
Automatically finding patches using genetic programming
W Weimer, TV Nguyen, C Le Goues, S Forrest
Proceedings of the 31st International Conference on Software Engineering …, 2009
6112009
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
5772011
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
4372012
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
2282009
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
1832010
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
170*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
1572015
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
1482015
History driven program repair
XBD Le, D Lo, C Le Goues
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
1462016
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
1362015
Current challenges in automatic software repair
C Le Goues, S Forrest, W Weimer
Software quality journal 21 (3), 421-443, 2013
1362013
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
S McDonald, HM Edwards
Communications of the ACM 50 (1), 66-71, 2007
128*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
842017
Specification mining with few false positives
C Le Goues, W Weimer
International Conference on Tools and Algorithms for the Construction and …, 2009
732009
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
692016
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
662012
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
422011
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
362017
The system can't perform the operation now. Try again later.
Articles 1–20