Publications
Full-length Conference and Journal Articles
ESEC/FSE |
VarFix: balancing edit expressiveness and search effectiveness in
automated program repair, C.-P. Wong, P. Santiesteban, C. Kästner, and C. Le Goues, in ESEC/FSE ’21: 29th ACM Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, 2021, pp. 354–366.
PDF
· BibTeX
· DOI
|
MEMOCODE |
Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats, C. Kinneer, R. Wagner, F. Fang, C. Le Goues, and D. Garlan, in Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), New York, NY, USA, 2019.
PDF
· BibTeX
· DOI
|
ICSE SEIP |
Robustness Testing of Autonomy Software, C. Hutchison, M. Zizyte, P. E. Lanigan, D. Guttendorf, M. Wagner, C. Le Goues, and P. Koopman, in Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP), 2018, pp. 276–285.
PDF
· BibTeX
· DOI
|
SEAMS |
Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search, C. Kinneer, Z. Coker, J. Wang, D. Garlan, and C. Le Goues, in Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for
Adaptive and Self-Managing Systems (SEAMS), 2018, pp. 40–50.
PDF
· BibTeX
· GitHub
· DOI
|
ICST |
Crashing simulated planes is cheap: Can simulation detect robotics bugs early?, C. S. Timperley, A. Afzal, D. Katz, J. M. Hernandez, and C. Le Goues, in Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST), 2018, pp. 331–342.
PDF
· BibTeX
· GitHub
· DOI
|
ICSME |
Behavior Metrics for Prioritizing Investigations of Exceptions, Z. Coker, K. Damevski, C. Le Goues, N. A. Kraft, D. Shepherd, and L. Pollock, in Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME, Industry Track), 2017, pp. 554–563.
PDF
· BibTeX
· DOI
|
ESEC/FSE |
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples, X.-B. D. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, in Proceedings of the 11th Joint Meeting of the European
Software Engineering Conference and ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE), 2017, pp. 593–604.
PDF
· BibTeX
· Website
· DOI
|
ESEC/FSE |
Is
the Cure Worse than the Disease? Overfitting in Automated Program Repair, E. K. Smith, E. Barr, C. Le Goues, and Y. Brun, in Proceedings of the 10th Joint Meeting of the European
Software Engineering Conference and ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE), 2015, pp. 532–543.
PDF
· BibTeX
· DOI
|
TACAS |
Specification Mining with Few False Positives., C. Le Goues and W. Weimer, in Proceedings of the 15th Annual Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the Joint
European Conferences on Theory and Practice of Software (ETAPS), 2009, vol. 5505, pp. 292–306.
PDF
· BibTeX
· Slides
· DOI
|
Short or Workshop Publications
DSN Industry |
The Importance of Safety Invariants in Robustness Testing Autonomy
Systems, M. Zizyte, C. Hutchison, R. Duvall, C. Le Goues, and P. Koopman, in 51st Annual IEEE/IFIP International Conference on Dependable Systems
and Networks, DSN 2021 - Supplemental
Volume, 2021, pp. 41–44.
PDF
· BibTeX
· DOI
|
DSN Industry |
Robustness Inside Out Testing, D. Katz, M. Zizyte, C. Hutchison, D. Guttendorf, P. Lanigan, E. Sample, P. Koopman, M. Wagner, and C. Le Goues, in Proceedings of the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) – Industry Track, 2020, pp. 1–4.
PDF
· BibTeX
· DOI
|
ISSTA Tools |
JFix: Semantics-based repair of Java programs via Symbolic PathFinder, X.-B. D. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA Tools), 2017, pp. 376–379.
PDF
· BibTeX
· Website
· DOI
|