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
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
EMSE
Understanding and improving artifact sharing in software engineering research, C. S. Timperley, L. Herckis, C. Le Goues, and M. Hilton, Empir. Softw. Eng., vol. 26, no. 4, p. 67, May 2021.
PDF · BibTeX · DOI
MSR
An Empirical Study of OSS-Fuzz Bugs, Z. Y. Ding and C. Le Goues, in 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, 2021, pp. 131–142.
PDF · BibTeX · DOI
ICSE
SOAR: A Synthesis Approach for Data Science API Refactoring, A. Ni, D. Ramos, A. Z. H. Yang, I. Lynce, V. M. Manquinho, R. Martins, and C. Le Goues, in 43rd IEEE/ACM International Conference on Software Engineering (ICSE), 2021, pp. 112–124.
PDF · BibTeX · DOI
ICST
Simulation for Robotics Test Automation: Developer Perspectives, A. Afzal, D. S. Katz, C. Le Goues, and C. S. Timperley, in 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, pp. 263–274.
PDF · BibTeX · DOI
SANER
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications, Z. Coker, J. Sunshine, and C. Le Goues, in 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2021, pp. 201–212.
PDF · BibTeX · DOI
TAAS
Information Reuse and Stochastic Search: Managing Uncertainty in Self-\(^\mbox*\)Systems, C. Kinneer, D. Garlan, and C. Le Goues, ACM Trans. Auton. Adapt. Syst., vol. 15, no. 1, pp. 3:1–3:36, 2021.
PDF · BibTeX · DOI
ICST
A Study on Challenges of Testing Robotic Systems, A. Afzal, C. Le Goues, M. Hilton, and C. S. Timperley, in 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2020, pp. 96–107.
PDF · BibTeX · DOI
ICSME
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem, S. Kolak, A. Afzal, C. Le Goues, M. Hilton, and C. S. Timperley, in IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020, pp. 430–440.
PDF · BibTeX · DOI
ACSOS
Building Reusable Repertoires for Stochastic Self-* Planners, C. Kinneer, R. van Tonder, D. Garlan, and C. Le Goues, in IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 2020, pp. 222–231.
PDF · BibTeX · DOI
MSR
Empirical Study of Restarted and Flaky Builds on Travis CI, T. Durieux, C. Le Goues, M. Hilton, and R. Abreu, in IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 2020, pp. 254–264.
PDF · BibTeX · DOI
ICRA
Detecting Execution Anomalies as an Oracle for Autonomy Software Robustness, D. S. Katz, C. Hutchison, M. Zizyte, and C. Le Goues, in Proceedings of the 2020 International Conference on Robotics and Automation (ICRA), 2020, pp. 9366–9373.
PDF · BibTeX · DOI
ICSE
Tailoring Programs for Static Analysis via Program Transformation, R. van Tonder and C. Le Goues, in Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE), 2020.
PDF · BibTeX · DOI
TSE
SOSRepair: Expressive Semantic Search for Real-World Program Repair, A. Afzal, M. Motwani, K. T. Stolee, Y. Brun, and C. Le Goues, IEEE Transactions on Software Engineering (TSE), 2020.
PDF · BibTeX · DOI
TSE
Quality of Automated Program Repair on Real-World Defects, M. Motwani, M. Soto, Y. Brun, R. Just, and C. Le Goues, IEEE Transactions on Software Engineering (TSE), 2020.
PDF · BibTeX
CACM
Automated Program Repair, C. Le Goues, M. Pradel, and A. Roychoudhury, Commun. ACM, vol. 62, no. 12, pp. 56–65, Nov. 2019.
PDF · BibTeX · DOI
ICSME
A Qualitative Study on Framework Debugging, Z. Coker, D. G. Widder, C. Le Goues, C. Bogart, and J. Sunshine, in 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2019, pp. 568–579.
PDF · BibTeX · GitHub · DOI
GI
Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair, Z. Y. Ding, Y. Lyu, C. Timperley, and C. Le Goues, in 2019 IEEE/ACM International Workshop on Genetic Improvement (GI), 2019, pp. 2–9.
PDF · BibTeX · DOI
IEEE SW
Model-Based Adaptation for Robotics Software, J. Aldrich et al., IEEE Software, vol. 36, no. 2, pp. 83–90, 2019.
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
ASE
DIRE: A Neural Approach to Decompiled Identifier Naming, J. Lacomis, P. Yin, E. Schwarts, M. Allamanis, C. Le Goues, G. Neubig, and B. Vasilescu, in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, pp. 628–639.
PDF · BibTeX · GitHub · DOI
PLDI
Lightweight Multi-language Syntax Transformation with Parser Parser Combinators, R. van Tonder and C. Le Goues, in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), New York, NY, USA, 2019, pp. 363–378.
PDF · BibTeX · Website · Video · DOI
GECCO
A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints, E. F. de Souza, C. Le Goues, and C. G. Camilo-Junior, in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2018, pp. 1443–1450.
PDF · BibTeX · DOI
CACM
Effectiveness of Anonymization in Double-Blind Review, C. Le Goues, Y. Brun, S. Apel, E. Berger, S. Khurshid, and Y. Smaragdakis, Commun. ACM, vol. 61, no. 6, pp. 30–33, Jun. 2018.
PDF · BibTeX · DOI
ICSE
Static Automated Program Repair for Heap Properties, R. van Tonder and C. Le Goues, in Proceedings of the 40th IEEE/ACM International Conference on Software Engineering (ICSE), 2018, pp. 151–162.
PDF · BibTeX · GitHub · 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
ICPC
Meaningful Variable Names for Decompiled Code: A Machine Translation Approach, A. Jaffe, J. Lacomis, E. Schwartz, C. Le Goues, and B. Vasilescu, in Proceedings of the 26th IEEE International Conference on Program Comprehension (ICPC), 2018, pp. 20–30.
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
SANER
Using a probabilistic model to predict bug fixes, M. Soto and C. Le Goues, in Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2018, pp. 221–231.
PDF · BibTeX · GitHub · DOI
IEEE SW
Bridging the Gap: From Research to Practical Advice, C. Le Goues, C. Jaspan, I. Ozkaya, M. Shaw, and K. T. Stolee, IEEE Software, vol. 35, no. 5, pp. 50–57, 2018.
PDF · BibTeX · DOI
EMSE
Overfitting in semantics-based automated program repair, X.-B. D. Le, F. Thung, D. Lo, and C. Le Goues, Empirical Software Engineering, vol. 23, no. 5, pp. 3007–3033, 2018.
PDF · BibTeX · DOI
EMSE
Improved representation and genetic operators for linear genetic programming for automated program repair, V. P. L. Oliveira, E. F. Souza, C. Le Goues, and C. G. Camilo-Junior, Empirical Software Engineering, vol. 23, no. 5, pp. 2980–3006, 2018.
PDF · BibTeX · DOI
SEFM
Cross-Architecture Lifter Synthesis, R. van Tonder and C. Le Goues, in Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as part of STAF 2018, 2018, vol. 10886, pp. 155–170.
PDF · BibTeX · GitHub · DOI
ASE
Semantic crash bucketing, R. van Tonder, J. Kotheimer, and C. Le Goues, in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE), 2018, pp. 612–622.
PDF · BibTeX · GitHub · DOI
SSBSE
An investigation into the use of mutation analysis for automated program repair, C. S. Timperley, S. Stepney, and C. Le Goues, in Proceedings of the 9th International Symposium on Search Based Software Engineering (SSBSE), 2017, vol. 10452, pp. 99–114.
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
SNAPL
Toward Semantic Foundations for Program Editors, C. Omar, I. Voysey, M. Hilton, J. Sunshine, C. Le Goues, J. Aldrich, and M. Hammer, in Proceedings of the 2nd Summit on Advances in Programming Languages (SNAPL), 2017, pp. 11:1–11:12.
PDF · BibTeX · DOI
SSBSE
Improved Crossover Operators for Genetic Programming for Program Repair, V. P. L. Oliveira, E. F. D. Souza, C. Le Goues, and C. G. Camilo-Junior, in Proceedings of the 8th International Symposium on Search Based Software Engineering (SSBSE), 2016, vol. 9962, pp. 112–127.
PDF · BibTeX · DOI
ISSTA
A Learning-to-rank Based Fault Localization Approach Using Likely Invariants, T.-D. B. Le, D. Lo, C. Le Goues, and L. Grunske, in Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA), 2016, pp. 177–188.
PDF · BibTeX · DOI
ICPC
Learning to rank for bug report assignee recommendation, Y. Tian, D. Wijedasa, D. Lo, and C. Le Goues, in Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC), 2016, pp. 1–10.
PDF · BibTeX · DOI
SANER
History Driven Program Repair, X.-B. D. Le, D. Lo, and C. Le Goues, in Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016, vol. 1, pp. 213–224.
PDF · BibTeX · GitHub · Blog · DOI
ACSAC
Evaluating the Flexibility of the Java Sandbox, Z. Coker, M. Maass, T. Ding, C. Le Goues, and J. Sunshine, in Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC), 2015, pp. 1–10.
PDF · BibTeX · DOI
ASE
Repairing Programs with Semantic Code Search, Y. Ke, K. T. Stolee, C. Le Goues, and Y. Brun, in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 9AD, pp. 295–306.
PDF · BibTeX · Slides · GitHub · 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
TSE
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs, C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. T. Devanbu, S. Forrest, and W. Weimer, IEEE Trans. Software Eng., vol. 41, no. 12, pp. 1236–1256, 2015.
PDF · BibTeX · Website · DOI
SQJO
Current challenges in automatic software repair, C. Le Goues, S. Forrest, and W. Weimer, Software Quality Journal, vol. 21, no. 3, pp. 421–443, 2013.
PDF · BibTeX · DOI
GECCO
Representations and Operators for Improving Evolutionary Software Repair, C. Le Goues, S. Forrest, and W. Weimer, in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2012, pp. 959–966.
PDF · BibTeX · Slides · DOI
ICSE
A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each, C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, in Proceedings of the 34th International Conference on Software Engineering (ICSE), 2012, pp. 3–13.
PDF · BibTeX · Slides · DOI
TSE
GenProg: A Generic Method for Automatic Software Repair, C. Le Goues, T. V. Nguyen, S. Forrest, and W. Weimer, IEEE Trans. Software Eng., vol. 38, no. 1, pp. 54–72, 2012.
PDF · BibTeX · DOI
TSE
Measuring Code Quality to Improve Specification Mining, C. Le Goues and W. Weimer, IEEE Trans. Software Eng., vol. 38, no. 1, pp. 175–190, 2012.
PDF · BibTeX · DOI
GECCO
Designing better fitness functions for automated program repair, E. Fast, C. Le Goues, S. Forrest, and W. Weimer, in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2010, pp. 965–972.
PDF · BibTeX · DOI
CACM
Automatic program repair with evolutionary computation, W. Weimer, S. Forrest, C. Le Goues, and T. V. Nguyen, Communications of the ACM Research Highlight, vol. 53, no. 5, pp. 109–116, May 2010.
PDF · BibTeX · DOI
ICSE
Automatically Finding Patches Using Genetic Programming, W. Weimer, T. V. Nguyen, C. Le Goues, and S. Forrest, in Proceedings of the 31st International Conference on Software Engineering (ICSE), 2009, pp. 364–374.
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 publications

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
MSR Data
A Panel Data Set of Cryptocurrency Development Activity on GitHub, R. van Tonder, A. Trockman, and C. Le Goues, in 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, pp. 186–190.
PDF · BibTeX · DOI
BotSE
Towards s/engineer/bot: Principles for Program Repair Bots, R. van Tonder and C. Le Goues, in 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 2019, pp. 43–47.
PDF · BibTeX · DOI
ICSE Poster
Poster: BugZoo: A Platform for Studying Software Bugs, C. S. Timperley, S. Stepney, and C. Le Goues, in Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings (ICSE Poster), 2018, pp. 446–447.
PDF · BibTeX · GitHub · DOI
MSR Challenge
Common Statement Kind Changes to Inform Automatic Program Repair, M. Soto and C. Le Goues, in Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge), 2018, pp. 102–105.
PDF · BibTeX · GitHub · DOI
MSR Challenge
A Study on the Use of IDE Features for Debugging, A. Afzal and C. Le Goues, in Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge), 2018, pp. 114–117.
PDF · BibTeX · DOI
GI Position
A Turing Test for Genetic Improvement (Position Paper), A. Afzal, J. Lacomis, C. Le Goues, and C. S. Timperley, in Proceedings of the 4th International Genetic Improvement Workshop, 2018, pp. 17–18.
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
MSR Challenge
Analyzing the Impact of Social Attributes on Commit Integration Success, M. Soto, Z. Coker, and C. Le Goues, in Proceedings of the 14th International Conference on Mining Software Repositories (MSR Challenge), 2017, pp. 483–486.
PDF · BibTeX · GitHub · DOI
ICSME ERA
Enhancing Automated Program Repair with Deductive Verification, X.-B. D. Le, Q. L. Le, D. Lo, and C. Le Goues, in Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA), 2016, pp. 428–432.
PDF · BibTeX · Slides · DOI
ICSME ERA
Empirical Study on Synthesis Engines for Semantics-based Program Repair, X.-B. D. Le, D. Lo, and C. Le Goues, in Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA), 2016, pp. 423–427.
PDF · BibTeX · Slides · DOI
DSN Industry
Trusted Software Repair for System Resiliency, W. Weimer, S. Forrest, M. Kim, C. Le Goues, and P. Hurley, in Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN Workshops), 2016, pp. 238–241.
PDF · BibTeX · DOI
ICPC Short
Defending against the attack of the micro-clones, R. van Tonder and C. Le Goues, in Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC Short), 2016, pp. 1–4.
PDF · BibTeX · GitHub · DOI
MSR Challenge
Examining Programmer Practices for Locally Handling Exceptions, M. B. Kery, C. Le Goues, and B. A. Myers, in Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge), 2016, pp. 484–487.
PDF · BibTeX · DOI
MSR Challenge
A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions, M. Soto, F. Thung, C.-P. Wong, C. Le Goues, and D. Lo, in Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge), 2016, pp. 512–515.
PDF · BibTeX · GitHub · DOI
SEAMS Position
SASS: Self-Adaptation Using Stochastic Search, Z. Coker, D. Garlan, and C. Le Goues, in Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2015, pp. 168–174.
PDF · BibTeX · DOI
SEFM Tools
The Boogie Verification Debugger (Tool Paper), C. Le Goues, K. R. M. Leino, and M. Moskal, in Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), 2011, vol. 7041, pp. 407–414.
PDF · BibTeX · DOI
FoSER
The case for software evolution, C. Le Goues, S. Forrest, and W. Weimer, in Proceedings of the Workshop on Future of Software Engineering Research (FoSER), at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, pp. 205–210.
PDF · BibTeX · Slides · DOI
SBST Short
Extended Abstract: Using Execution Paths to Evolve Software Patches, T. V. Nguyen, W. Weimer, C. Le Goues, and S. Forrest, in Second International Conference on Software Testing Verification and Validation, Workshops Proceedings, 2009, pp. 152–153.
PDF · BibTeX · DOI

Other

Automatic Program Repair, C. Le Goues, M. Pradel, A. Roychoudhury, and S. Chandra, IEEE Softw., vol. 38, no. 4, pp. 22–27, 2021.
PDF · BibTeX · DOI
35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020, J. Grundy, C. Le Goues, and D. Lo, Eds., . ACM, 2020.
PDF · BibTeX · DOI
Overfitting in semantics-based automated program repair, X.-B. D. Le, F. Thung, D. Lo, and C. Le Goues, in Proceedings of the 40th International Conference on Software Engineering (Journal First), 2018, p. 163.
PDF · BibTeX · DOI
Genetic Improvement of Software (Dagstuhl Seminar 18052), J. Petke, C. Le Goues, S. Forrest, and W. B. Langdon, Dagstuhl Reports, vol. 8, no. 1, pp. 158–182, 2018.
PDF · BibTeX · DOI
Guest editorial for special section on research in search-based software engineering, C. Le Goues and S. Yoo, Empirical Software Engineering, vol. 22, no. 2, pp. 849–851, 2017.
PDF · BibTeX · DOI
Clarifications on the Construction and Use of the ManyBugs Benchmark (Comment Paper), C. Le Goues, Y. Brun, S. Forrest, and W. Weimer, IEEE Trans. Software Eng., vol. 43, no. 11, pp. 1089–1090, 2017.
PDF · BibTeX · DOI
Automated Program Repair (Dagstuhl Seminar 17022), S. Kim, C. Le Goues, M. Pradel, and A. Roychoudhury, Dagstuhl Reports, vol. 7, no. 1, pp. 19–31, 2017.
PDF · BibTeX · DOI
Proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, C. Le Goues and S. Yoo, Eds., , vol. 8636. Springer, 2014.
PDF · BibTeX · DOI
Moving Target Defenses in the Helix Self-Regenerative Architecture, C. Le Goues, A. Nguyen-Tuong, H. Chen, J. W. Davidson, S. Forrest, J. Hiser, J. C. Knight, and M. V. Gundy, Moving Target Defense II - Application of Game Theory and Adversarial Modeling, pp. 117–149, 2013.
PDF · BibTeX · DOI
Evolutionary software repair (Invited Tutorial), S. Forrest and C. Le Goues, in Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings, 2012, pp. 1345–1348.
PDF · BibTeX · DOI

Theses

Automatic Program Repair Using Genetic Programming, C. Le Goues, PhD thesis, University of Virginia, 2013.
PDF · BibTeX
Specification Mining With Few False Positives, C. Le Goues, Master's thesis, University of Virginia, 2009.
PDF · BibTeX