Publications

Full-Length Conference and Journal Articles

---

1. TOSEM

   Ramos, D., Lynce, I., Manquinho, V., Martins, R., & Le Goues, C. (2024). BatFix: Repairing language model-based transpilation. ACM Transactions on Software Engineering and Methodology. https://doi.org/10.1145/3658668 DOI · BibTeX @article{10.1145/3658668, author = {Ramos, Daniel and Lynce, In\^{e}s and Manquinho, Vasco and Martins, Ruben and {Le~Goues}, Claire}, title = {BatFix: Repairing language model-based transpilation}, year = {2024}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, issn = {1049-331X}, url = {https://doi.org/10.1145/3658668}, doi = {10.1145/3658668}, journal = {ACM Transactions on Software Engineering and Methodology} }

2. USENEX Sec.

   Dramko, L., Lacomis, J., Schwartz, E. J., Vasilescu, B., & Le Goues, C. (2024). A Taxonomy of C Decompiler Fidelity Issues. 33rd USENIX Security Symposium. PDF · BibTeX @article{DramkoCDecompilerIssueTaxonomy, title = {A Taxonomy of C Decompiler Fidelity Issues}, author = {Dramko, Luke and Lacomis, Jeremy and Schwartz, Edward J and Vasilescu, Bogdan and {Le~Goues}, Claire}, booktitle = {33rd USENIX Security Symposium}, series = {USENIX Security 24}, year = {2024} }

3. ICRA

   Canelas, P., Tabor, T., Ore, J.-P., Fonseca, A., Le Goues, C., & Timperley, C. S. (2024). Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. International Conference on Robotics and Automation, 1–7. PDF · BibTeX @inproceedings{canelas2024physunits, author = {Canelas, Paulo and Tabor, Trenton and Ore, John-Paul and Fonseca, Alcides and {Le Goues}, Claire and Timperley, Christopher Steven}, title = {Is it a Bug? Understanding Physical Unit Mismatches in Robot Software}, booktitle = {International Conference on Robotics and Automation}, pages = {1--7}, year = {2024} }

4. ICSE

   Yang, A. Z. H., Le Goues, C., Martins, R., & Hellendoorn, V. (2024). Large language models for test-free fault localization. Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 1–12. https://doi.org/10.1145/3597503.3623342 PDF · Code · DOI · BibTeX @inproceedings{yang2024large, title = {Large language models for test-free fault localization}, author = {Yang, Aidan ZH and Le Goues, Claire and Martins, Ruben and Hellendoorn, Vincent}, booktitle = {Proceedings of the 46th IEEE/ACM International Conference on Software Engineering}, pages = {1--12}, year = {2024}, doi = {10.1145/3597503.3623342} }

5. ESEC/FSE

   Deb, S., Jain, K., van Tonder, R., Le Goues, C., & Groce, A. (2024). Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE). PDF · BibTeX @article{debSyntaxAllYouNeed, title = {Syntax Is All You Need: A Universal-Language Approach to Mutant Generation}, author = {Deb, Sourav and Jain, Kush and {van~Tonder}, Rijnard and {Le~Goues}, Claire and Groce, Alex}, booktitle = {Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE)}, series = {FSE 24}, year = {2024} }

6. ICSE

   Dürschmid, T., Timperley, C. S., Garlan, D., & Le Goues, C. (2024). ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. https://doi.org/10.1145/3597503.3639206 PDF · Code · DOI · BibTeX @inproceedings{Duerschmid2024ROSInfer, author = {D\"{u}rschmid, Tobias and Timperley, Christopher Steven and Garlan, David and {Le~Goues}, Claire}, title = {ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems}, year = {2024}, doi = {10.1145/3597503.3639206}, booktitle = {Proceedings of the IEEE/ACM 46th International Conference on Software Engineering}, articleno = {144}, numpages = {13}, series = {ICSE '24}, project = {robots} }

7. ICSE

   Eladawy, H., Le Goues, C., & Brun, Y. (2024). Automated Program Repair, What Is It Good For? Not Absolutely Nothing! Proceedings of the 46th International Conference on Software Engineering (ICSE), 1017–1029. https://doi.org/10.1145/3597503.3639095 PDF · Video · Data · DOI · BibTeX @inproceedings{Eladawy24icse, author = {Eladawy, Hadeel and {Le Goues}, Claire and Brun, Yuriy}, title = {Automated Program Repair, What Is It Good For? {Not} Absolutely Nothing!}, booktitle = {Proceedings of the 46th International Conference on Software Engineering (ICSE)}, venue = {ICSE}, address = {Lisbon, Portugal}, year = {2024}, pages = {1017--1029}, doi = {10.1145/3597503.3639095}, video = {https://youtu.be/_2tUAI78Ybw} }

8. ESEC/FSE

   Jain, K., Alon, U., Groce, A., & Le Goues, C. (2023). Contextual Predictive Mutation Testing. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 250–261. https://doi.org/10.1145/3611643.3616289 PDF · Data · DOI · BibTeX @inproceedings{jainContextualPMT, author = {Jain, Kush and Alon, Uri and Groce, Alex and {Le~Goues}, Claire}, title = {Contextual Predictive Mutation Testing}, year = {2023}, isbn = {9798400703270}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3611643.3616289}, abstract = {Mutation testing is a powerful technique for assessing and improving test suite quality that artificially introduces bugs and checks whether the test suites catch them. However, it is also computationally expensive and thus does not scale to large systems and projects. One promising recent approach to tackling this scalability problem uses machine learning to predict whether the tests will detect the synthetic bugs, without actually running those tests. However, existing predictive mutation testing approaches still misclassify 33\% of detection outcomes on a randomly sampled set of mutant-test suite pairs. We introduce MutationBERT, an approach for predictive mutation testing that simultaneously encodes the source method mutation and test method, capturing key context in the input representation. Thanks to its higher precision, MutationBERT saves 33\% of the time spent by a prior approach on checking/verifying live mutants. MutationBERT, also outperforms the state-of-the-art in both same project and cross project settings, with meaningful improvements in precision, recall, and F1 score. We validate our input representation, and aggregation approaches for lifting predictions from the test matrix level to the test suite level, finding similar improvements in performance. MutationBERT not only enhances the state-of-the-art in predictive mutation testing, but also presents practical benefits for real-world applications, both in saving developer time and finding hard to detect mutants that prior approaches do not.}, booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, pages = {250–261}, numpages = {12}, keywords = {test oracles, mutation analysis, code coverage}, location = {, San Francisco, CA, USA, }, series = {ESEC/FSE 2023} }

9. ASE

   Rao, N., Jain, K., Alon, U., Le Goues, C., & Hellendoorn, V. J. (2023). CAT-LM Training Language Models on Aligned Code And Tests. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 409–420. https://doi.org/10.1109/ASE56229.2023.00193 PDF · Code · DOI · BibTeX @inproceedings{raoCATLM, author = {Rao, Nikitha and Jain, Kush and Alon, Uri and {Le~Goues}, Claire and Hellendoorn, Vincent J.}, booktitle = {2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, title = {CAT-LM Training Language Models on Aligned Code And Tests}, year = {2023}, volume = {}, issn = {}, pages = {409-420}, abstract = {Testing is an integral but often neglected part of the software development process. Classical test generation tools such as EvoSuite generate behavioral test suites by optimizing for coverage, but tend to produce tests that are hard to understand. Language models trained on code can generate code that is highly similar to that written by humans, but current models are trained to generate each file separately, as is standard practice in natural language processing, and thus fail to consider the code-under-test context when producing a test file. In this work, we propose the Aligned Code And Tests Language Model (CAT-LM), a GPT-style language model with 2.7 Billion parameters, trained on a corpus of Python and Java projects. We utilize a novel pretraining signal that explicitly considers the mapping between code and test files when available. We also drastically increase the maximum sequence length of inputs to 8,192 tokens, 4x more than typical code generation models, to ensure that the code context is available to the model when generating test code. We analyze its usefulness for realistic applications, showing that sampling with filtering (e.g., by compilability, coverage) allows it to efficiently produce tests that achieve coverage similar to ones written by developers while resembling their writing style. By utilizing the code context, CAT-LM generates more valid tests than even much larger language models trained with more data (CodeGen 16B and StarCoder) and substantially outperforms a recent test-specific model (TeCo) at test completion. Overall, our work highlights the importance of incorporating software-specific insights when training language models for code and paves the way to more powerful automated test generation.}, keywords = {training;codes;runtime;data models;software;test pattern generators;standards}, doi = {10.1109/ASE56229.2023.00193}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA} }

10. ASE

    Ramos, D., Mitchell, H., Lynce, I., Manquinho, V. M., Martins, R., & Le Goues, C. (2023). MELT: Mining Effective Lightweight Transformations from Pull Requests. IEEE/ACM International Conference on Automated Software Engineering, 1516–1528. https://doi.org/10.1109/ASE56229.2023.00117 PDF · Code · Data · DOI · BibTeX @inproceedings{RamosMLMMG23, author = {Ramos, Daniel and Mitchell, Hailie and Lynce, In{\^{e}}s and Manquinho, Vasco M. and Martins, Ruben and {Le~Goues}, Claire}, title = {{MELT:} Mining Effective Lightweight Transformations from Pull Requests}, booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering}, pages = {1516--1528}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ASE56229.2023.00117}, doi = {10.1109/ASE56229.2023.00117}, series = {ASE '23} }

11. ISSRE

    Jain, K., Kalburgi, G. T., Le Goues, C., & Groce, A. (2023). Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), 102–113. https://doi.org/10.1109/ISSRE59848.2023.00036 PDF · DOI · BibTeX @inproceedings{jainOracleGap, author = {Jain, Kush and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire and Groce, Alex}, booktitle = {2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)}, title = {Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts}, year = {2023}, volume = {}, issn = {}, pages = {102-113}, abstract = {An "adequate" test suite should effectively find all inconsistencies between a system's requirements/specifications and its implementation. Practitioners frequently use code coverage to approximate adequacy, while academics argue that mutation score may better approximate true (oracular) adequacy coverage. High code coverage is increasingly attainable even on large systems via automatic test generation, including fuzzing. In light of all of these options for measuring and improving testing effort, how should a QA engineer spend their time? We propose a new framework for reasoning about the extent, limits, and nature of a given testing effort based on an idea we call the oracle gap, or the difference between source code coverage and mutation score for a given software element. We conduct (1) a large-scale observational study of the oracle gap across popular Maven projects, (2) a study that varies testing and oracle quality across several of those projects and (3) a small-scale observational study of highly critical, well-tested code across comparable blockchain projects. We show that the oracle gap surfaces important information about the extent and quality of a test effort beyond either adequacy metric alone. In particular, it provides a way for practitioners to identify source files where it is likely a weak oracle tests important code.}, keywords = {codes;source coding;fuzzing;time measurement;software;cognition;software reliability}, doi = {10.1109/ISSRE59848.2023.00036}, url = {https://doi.ieeecomputersociety.org/10.1109/ISSRE59848.2023.00036}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA} }

12. TOSEM

    Dramko, L., Lacomis, J., Yin, P., Schwartz, E. J., Allamanis, M., Neubig, G., Vasilescu, B., & Le Goues, C. (2023). DIRE and its Data: Neural Decompiled Variable Renamings with respect to Software Class. ACM Trans. Softw. Eng. Methodol., 32(2), 39:1–39:34. https://doi.org/10.1145/3546946 PDF · DOI · BibTeX @article{dramko22dire, author = {Dramko, Luke and Lacomis, Jeremy and Yin, Pengcheng and Schwartz, Edward J. and Allamanis, Miltiadis and Neubig, Graham and Vasilescu, Bodan and {Le~Goues}, Claire}, title = {DIRE and its Data: {N}eural Decompiled Variable Renamings with respect to Software Class}, publisher = {Association for Computing Machinery}, journal = {ACM Trans. Softw. Eng. Methodol.}, volume = {32}, number = {2}, pages = {39:1--39:34}, year = {2023}, doi = {10.1145/3546946} }

13. TOSEM

    Cruz-Carlon, J. A., Varshosaz, M., Le Goues, C., & Wąsowski, A. (2023). Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol., 32(3), 56:1–56:28. https://doi.org/10.1145/3548684 PDF · DOI · BibTeX @article{cruz22crayons, author = {Cruz-Carlon, Juan Alfredo and Varshosaz, Mahsa and {Le~Goues}, Claire and W\k{a}sowski, Andrzej}, title = {Patching Locking Bugs Statically with Crayons}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {3}, pages = {56:1--56:28}, year = {2023}, url = {https://doi.org/10.1145/3548684}, doi = {10.1145/3548684} }

14. ISSRE

    Leach, K., Timperley, C. S., Angstadt, K., Nguyen-Tuong, A., Hiser, J., Paulos, A., Pal, P. P., Hurley, P., Thomas, C., Davidson, J. W., Forrest, S., Le Goues, C., & Weimer, W. (2022). START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 73–84. https://doi.org/10.1109/ISSRE55969.2022.00018 DOI · BibTeX @inproceedings{leach2022issre, author = {Leach, Kevin and Timperley, Christopher Steven and Angstadt, Kevin and Nguyen{-}Tuong, Anh and Hiser, Jason and Paulos, Aaron and Pal, Partha P. and Hurley, Patrick and Thomas, Carl and Davidson, Jack W. and Forrest, Stephanie and {Le~Goues}, Claire and Weimer, Westley}, title = {{START:} {A} Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)}, booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering, {ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022}, pages = {73--84}, publisher = {{IEEE}}, year = {2022}, doi = {10.1109/ISSRE55969.2022.00018} }

15. TSE

    Afzal, A., Goues, C. L., & Timperley, C. S. (2022). Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. IEEE Trans. Software Eng., 48(11), 4535–4552. https://doi.org/10.1109/TSE.2021.3120680 PDF · Data · DOI · BibTeX @article{AfzalGT22, author = {Afzal, Afsoon and Goues, Claire Le and Timperley, Christopher Steven}, title = {Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {48}, number = {11}, pages = {4535--4552}, year = {2022}, doi = {10.1109/TSE.2021.3120680} }

16. TSE

    Motwani, M., Soto, M., Brun, Y., Just, R., & Le Goues, C. (2022). Quality of Automated Program Repair on Real-World Defects. IEEE Transactions on Software Engineering (TSE), 48, 637–661. https://doi.org/10.1109/TSE.2020.2998785 PDF · Code · DOI · BibTeX @article{motwani20tse, author = {Motwani, Manish and Soto, Mauricio and Brun, Yuriy and Just, Ren{\'{e}} and {Le~Goues}, Claire}, title = {Quality of Automated Program Repair on Real-World Defects}, journal = {IEEE Transactions on Software Engineering (TSE)}, venue = {TSE}, issue = {48}, vol = {2}, pages = {637--661}, doi = {10.1109/TSE.2020.2998785}, issn = {0098-5589}, year = {2022} }

17. USENIX Sec.

    Chen, Q., Lacomis, J., Schwartz, E. J., Le Goues, C., Neubig, G., & Vasilescu, B. (2022). Augmenting Decompiler Output with Learned Variable Names and Types. USENIX Security Symposium. PDF · Code · Website · BibTeX @inproceedings{chen22dirty, author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan}, title = {Augmenting Decompiler Output with Learned Variable Names and Types}, booktitle = {USENIX Security Symposium}, year = {2022}, series = {Oakland '22}, website = {https://dirtdirty.github.io/explorer.html} }

18. ICSE

    Chen, Q., Lacomis, J., Schwartz, E. J., Neubig, G., Vasilescu, B., & Le Goues, C. (2022). VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. 44th IEEE/ACM 44th International Conference on Software Engineering, 2327–2339. https://doi.org/10.1145/3510003.3510162 PDF · Video · Code · DOI · BibTeX @inproceedings{chen22icse, author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and Neubig, Graham and Vasilescu, Bogdan and {Le~Goues}, Claire}, title = {VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning}, booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering}, pages = {2327--2339}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3510003.3510162}, doi = {10.1145/3510003.3510162}, video = {https://www.youtube.com/watch?v=WyB49EIcctY} }

19. ICSA

    Timperley, C. S., Dürschmid, T., Schmerl, B. R., Garlan, D., & Le Goues, C. (2022). ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. 19th IEEE International Conference on Software Architecture, ICSA, 112–123. https://doi.org/10.1109/ICSA53651.2022.00019 PDF · Video · Code · DOI · BibTeX @inproceedings{timp22icsa, author = {Timperley, Christopher Steven and D{\"{u}}rschmid, Tobias and Schmerl, Bradley R. and Garlan, David and {Le~Goues}, Claire}, title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems}, booktitle = {19th {IEEE} International Conference on Software Architecture, {ICSA}}, pages = {112--123}, publisher = {{IEEE}}, year = {2022}, doi = {10.1109/ICSA53651.2022.00019}, video = {https://youtu.be/sUfTNU5Jb-A?si=iIqo7Jy93YNP38tH} }

20. CC

    Groce, A., van Tonder, R., Kalburgi, G. T., & Le Goues, C. (2022). Making no-fuss compiler fuzzing effective. CC ’22: 31st ACM SIGPLAN International Conference on Compiler Construction, 194–204. https://doi.org/10.1145/3497776.3517765 PDF · Code · DOI · BibTeX @inproceedings{groce22cc, author = {Groce, Alex and van Tonder, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire}, title = {Making no-fuss compiler fuzzing effective}, booktitle = {{CC} '22: 31st {ACM} {SIGPLAN} International Conference on Compiler Construction}, pages = {194--204}, publisher = {{ACM}}, year = {2022}, doi = {10.1145/3497776.3517765} }

21. TSE

    Afzal, A., Motwani, M., Stolee, K. T., Brun, Y., & Le Goues, C. (2021). SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Transactions on Software Engineering (TSE), 47(10), 2162–2181. https://doi.org/10.1109/TSE.2019.2944914 PDF · DOI · BibTeX @article{tse20sos, author = {Afzal, Afsoon and Motwani, Manish and Stolee, Kathryn T. and Brun, Yuriy and {Le~Goues}, Claire}, title = {SOSRepair: Expressive Semantic Search for Real-World Program Repair}, journal = {IEEE Transactions on Software Engineering (TSE)}, venue = {TSE}, issn = {0098-5589}, year = {2021}, volume = {47}, number = {10}, pages = {2162--2181}, doi = {10.1109/TSE.2019.2944914} }

22. EMSE

    Timperley, C. S., Herckis, L., Le Goues, C., & Hilton, M. (2021). Understanding and improving artifact sharing in software engineering research. Empir. Softw. Eng., 26(4), 67. https://doi.org/10.1007/s10664-021-09973-5 PDF · DOI · BibTeX @article{timperley21ese, author = {Timperley, Christopher Steven and Herckis, Lauren and {Le~Goues}, Claire and Hilton, Michael}, title = {Understanding and improving artifact sharing in software engineering research}, journal = {Empir. Softw. Eng.}, volume = {26}, number = {4}, pages = {67}, year = {2021}, doi = {10.1007/s10664-021-09973-5} }

23. ESEC/FSE

    Wong, C.-P., Santiesteban, P., Kästner, C., & Le Goues, C. (2021). VarFix: balancing edit expressiveness and search effectiveness in automated program repair. ESEC/FSE ’21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 354–366. https://doi.org/10.1145/3468264.3468600 PDF · DOI · BibTeX @inproceedings{wong21varfix, author = {Wong, Chu{-}Pan and Santiesteban, Priscila and K{\"{a}}stner, Christian and {Le~Goues}, Claire}, title = {VarFix: balancing edit expressiveness and search effectiveness in automated program repair}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, pages = {354--366}, publisher = {{ACM}}, year = {2021}, doi = {10.1145/3468264.3468600} }

24. TAAS

    Kinneer, C., Garlan, D., & Le Goues, C. (2021). Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. ACM Trans. Auton. Adapt. Syst., 15(1), 3:1–3:36. https://doi.org/10.1145/3440119 PDF · DOI · BibTeX @article{kinneer21taas, author = {Kinneer, Cody and Garlan, David and {Le~Goues}, Claire}, title = {Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {15}, number = {1}, pages = {3:1--3:36}, year = {2021}, doi = {10.1145/3440119} }

25. MSR

    Ding, Z. Y., & Le Goues, C. (2021). An Empirical Study of OSS-Fuzz Bugs. 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, 131–142. https://doi.org/10.1109/MSR52588.2021.00026 PDF · DOI · BibTeX @inproceedings{ding21msr, author = {Ding, Zhen Yu and {Le~Goues}, Claire}, booktitle = {2021 IEEE/ACM 18th International Conference on Mining Software Repositories}, series = {MSR'21}, title = {An Empirical Study of OSS-Fuzz Bugs}, year = {2021}, pages = {131--142}, doi = {10.1109/MSR52588.2021.00026}, old_url = {https://doi.ieeecomputersociety.org/10.1109/MSR52588.2021.00026}, publisher = {IEEE Computer Society}, location = {Madrid, Spain} }

26. ICSE

    Ni, A., Ramos, D., Yang, A. Z. H., Lynce, I., Manquinho, V. M., Martins, R., & Le Goues, C. (2021). SOAR: A Synthesis Approach for Data Science API Refactoring. 43rd IEEE/ACM International Conference on Software Engineering (ICSE), 112–124. https://doi.org/10.1109/ICSE43902.2021.00023 PDF · Video · DOI · BibTeX @inproceedings{ni21soar, author = {Ni, Ansong and Ramos, Daniel and Yang, Aidan Z. H. and Lynce, In{\^{e}}s and Manquinho, Vasco M. and Martins, Ruben and {Le~Goues}, Claire}, title = {{SOAR:} {A} Synthesis Approach for Data Science {API} Refactoring}, booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering (ICSE)}, pages = {112--124}, publisher = {{IEEE}}, location = {Madrid, Spain}, year = {2021}, doi = {10.1109/ICSE43902.2021.00023}, video = {https://youtu.be/RDRVGkVwcQQ?si=z4trOqXNkjaNQQN0} }

27. ICST

    Afzal, A., Katz, D. S., Le Goues, C., & Timperley, C. S. (2021). Simulation for Robotics Test Automation: Developer Perspectives. 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 263–274. https://doi.org/10.1109/ICST49551.2021.00036 PDF · DOI · BibTeX @inproceedings{afzal21icst, author = {Afzal, Afsoon and Katz, Deborah S. and {Le~Goues}, Claire and Timperley, Christopher Steven}, title = {Simulation for Robotics Test Automation: Developer Perspectives}, booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation (ICST)}, location = {Porto de Galinhas, Brazil}, pages = {263--274}, publisher = {{IEEE}}, year = {2021}, doi = {10.1109/ICST49551.2021.00036} }

28. SANER

    Coker, Z., Sunshine, J., & Le Goues, C. (2021). FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 201–212. https://doi.org/10.1109/SANER50967.2021.00027 PDF · Video · DOI · BibTeX @inproceedings{coker21framefix, author = {Coker, Zack and Sunshine, Joshua and {Le~Goues}, Claire}, title = {FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications}, booktitle = {28th {IEEE} International Conference on Software Analysis, Evolution and Reengineering (SANER)}, pages = {201--212}, publisher = {{IEEE}}, year = {2021}, doi = {10.1109/SANER50967.2021.00027}, video = {https://youtu.be/MIxNBHYEAA0?si=uk8IrDLhW58v2EVo} }

29. ACSOS

    Kinneer, C., van Tonder, R., Garlan, D., & Le Goues, C. (2020). Building Reusable Repertoires for Stochastic Self-* Planners. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 222–231. https://doi.org/10.1109/ACSOS49614.2020.00045 PDF · Video · DOI · BibTeX @inproceedings{kinneer20acsos, author = {Kinneer, Cody and van Tonder, Rijnard and Garlan, David and {Le~Goues}, Claire}, title = {Building Reusable Repertoires for Stochastic Self-* Planners}, booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)}, location = {Washington, DC}, pages = {222--231}, publisher = {{IEEE}}, year = {2020}, doi = {10.1109/ACSOS49614.2020.00045}, video = {https://youtu.be/PCkzMgssSMk?si=R67p2Rr9mspUk2An} }

30. ICSME

    Kolak, S., Afzal, A., Le Goues, C., Hilton, M., & Timperley, C. S. (2020). It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem. IEEE International Conference on Software Maintenance and Evolution (ICSME), 430–440. https://doi.org/10.1109/ICSME46990.2020.00048 PDF · Video · DOI · BibTeX @inproceedings{kolak20icsme, author = {Kolak, Sophia and Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven}, title = {It Takes a Village to Build a Robot: An Empirical Study of The {ROS} Ecosystem}, booktitle = {{IEEE} International Conference on Software Maintenance and Evolution (ICSME)}, location = {Adelaide, Australia}, pages = {430--440}, publisher = {{IEEE}}, year = {2020}, doi = {10.1109/ICSME46990.2020.00048}, video = {https://youtu.be/a16E3j6am-E?si=VFbjg8PGGg-5TLIa} }

31. MSR

    Durieux, T., Le Goues, C., Hilton, M., & Abreu, R. (2020). Empirical Study of Restarted and Flaky Builds on Travis CI. IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 254–264. https://doi.org/10.1145/3379597.3387460 PDF · Video · DOI · BibTeX @inproceedings{durieux20msr, author = {Durieux, Thomas and {Le~Goues}, Claire and Hilton, Michael and Abreu, Rui}, title = {Empirical Study of Restarted and Flaky Builds on Travis CI}, booktitle = {IEEE/ACM 17th International Conference on Mining Software Repositories (MSR)}, pages = {254--264}, location = {Seoul, Republic of Korea}, publisher = {{ACM}}, year = {2020}, doi = {10.1145/3379597.3387460}, video = {https://youtu.be/8y3lV68om38?si=Sm5oF_gx1e0lS2bh} }

32. ICRA

    Katz, D. S., Hutchison, C., Zizyte, M., & Le Goues, C. (2020). Detecting Execution Anomalies as an Oracle for Autonomy Software Robustness. Proceedings of the 2020 International Conference on Robotics and Automation (ICRA), 9366–9373. https://doi.org/10.1109/ICRA40945.2020.9197060 PDF · DOI · BibTeX @inproceedings{icra2020anomalies, author = {Katz, Deborah S. and Hutchison, Casidhe and Zizyte, Milda and {Le~Goues}, Claire}, title = {Detecting Execution Anomalies as an Oracle for Autonomy Software Robustness}, booktitle = {Proceedings of the 2020 International Conference on Robotics and Automation (ICRA)}, old_series = {ICRA '20}, year = {2020}, pages = {9366--9373}, publisher = {{IEEE}}, doi = {10.1109/ICRA40945.2020.9197060} }

33. ICSE

    van Tonder, R., & Le Goues, C. (2020, May). Tailoring Programs for Static Analysis via Program Transformation. Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE). https://doi.org/10.1145/3377811.3380343 PDF · Video · DOI · BibTeX @inproceedings{icse2020transform, author = {van Tonder, Rijnard and {Le~Goues}, Claire}, title = {Tailoring Programs for Static Analysis via Program Transformation}, booktitle = {Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE)}, publisher = {{ACM}}, year = {2020}, doi = {10.1145/3377811.3380343}, timestamp = {Fri, 08 Jan 2021 14:47:26 +0100}, video = {https://youtu.be/9wb9HY1KcKs?si=h4XkfkrB4m5xy8UJ} }

34. ICST

    Afzal, A., Le Goues, C., Hilton, M., & Timperley, C. S. (2020). A Study on Challenges of Testing Robotic Systems. 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST), 96–107. https://doi.org/10.1109/ICST46399.2020.00020 PDF · DOI · BibTeX @inproceedings{icst20robots, author = {Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven}, title = {A Study on Challenges of Testing Robotic Systems}, booktitle = {2020 IEEE International Conference on Software Testing, Verification and Validation (ICST)}, pages = {96--107}, publisher = {{IEEE}}, year = {2020}, doi = {10.1109/ICST46399.2020.00020} }

35. CACM

    Le Goues, C., Pradel, M., & Roychoudhury, A. (2019). Automated Program Repair. Commun. ACM, 62(12), 56–65. https://doi.org/10.1145/3318162 PDF · DOI · BibTeX @article{legoues-cacm2019, author = {Le~Goues, Claire and Pradel, Michael and Roychoudhury, Abhik}, title = {Automated Program Repair}, year = {2019}, issue_date = {November 2019}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {62}, number = {12}, issn = {0001-0782}, doi = {10.1145/3318162}, journal = {Commun. ACM}, pages = {56–65}, numpages = {10} }

36. IEEE SW

    Aldrich, J., Garlan, D., Kästner, C., Le Goues, C., Mohseni-Kabir, A., Ruchkin, I., Samuel, S., Schmerl, B. R., Timperley, C. S., Veloso, M., Voysey, I., Biswas, J., Guha, A., Holtz, J., Cámara, J., & Jamshidi, P. (2019). Model-Based Adaptation for Robotics Software. IEEE Software, 36(2), 83–90. https://doi.org/10.1109/MS.2018.2885058 PDF · DOI · BibTeX @article{sw19brass, author = {Aldrich, Jonathan and Garlan, David and K\"astner, Christian and {Le~Goues}, Claire and Mohseni-Kabir, Anahita and Ruchkin, Ivan and Samuel, Selva and Schmerl, Bradley R. and Timperley, Christopher Steven and Veloso, Manuela and Voysey, Ian and Biswas, Joydeep and Guha, Arjun and Holtz, Jarrett and C\'amara, Javier and Jamshidi, Pooyan}, title = {Model-Based Adaptation for Robotics Software}, journal = {{IEEE} Software}, volume = {36}, number = {2}, pages = {83--90}, year = {2019}, doi = {10.1109/MS.2018.2885058} }

37. ICSME

    Coker, Z., Widder, D. G., Le Goues, C., Bogart, C., & Sunshine, J. (2019). A Qualitative Study on Framework Debugging. 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), 568–579. https://doi.org/10.1109/ICSME.2019.00091 PDF · Code · DOI · BibTeX @inproceedings{icsme19zack, author = {Coker, Zack and Widder, David G. and {Le~Goues}, Claire and Bogart, Christopher and Sunshine, Joshua}, booktitle = {2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)}, title = {A Qualitative Study on Framework Debugging}, year = {2019}, location = {Cleveland, OH}, pages = {568--579}, doi = {10.1109/ICSME.2019.00091}, issn = {1063-6773} }

38. MEMOCODE

    Kinneer, C., Wagner, R., Fang, F., Le Goues, C., & Garlan, D. (2019). Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). https://doi.org/10.1145/3359986.3361208 PDF · DOI · BibTeX @inproceedings{memocode19cody, author = {Kinneer, Cody and Wagner, Ryan and Fang, Fei and {Le~Goues}, Claire and Garlan, David}, title = {Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats}, year = {2019}, isbn = {9781450369978}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3359986.3361208}, booktitle = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)}, numpages = {11} }

39. ASE

    Lacomis, J., Yin, P., Schwarts, E., Allamanis, M., Le Goues, C., Neubig, G., & Vasilescu, B. (2019). DIRE: A Neural Approach to Decompiled Identifier Naming. Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 628–639. https://doi.org/10.1109/ASE.2019.00064 PDF · Code · Results · DOI · BibTeX @inproceedings{ase19dire, author = {Lacomis, Jeremy and Yin, Pengcheng and Schwarts, Edward and Allamanis, Miltiadis and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan}, booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, title = {DIRE: A Neural Approach to Decompiled Identifier Naming}, year = {2019}, volume = {}, lnumber = {}, pages = {628-639}, doi = {10.1109/ASE.2019.00064}, issn = {1938--4300}, results = {https://zenodo.org/record/3403078} }

40. PLDI

    van Tonder, R., & Le Goues, C. (2019). Lightweight Multi-language Syntax Transformation with Parser Parser Combinators. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 363–378. https://doi.org/10.1145/3314221.3314589 PDF · Video · Website · DOI · BibTeX @inproceedings{pldi19, author = {van Tonder, Rijnard and {Le~Goues}, Claire}, title = {Lightweight Multi-language Syntax Transformation with Parser Parser Combinators}, booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}, year = {2019}, isbn = {978-1-4503-6712-7}, pages = {363--378}, numpages = {16}, doi = {10.1145/3314221.3314589}, acmid = {3314589}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {parsers, rewriting, syntax, transformation}, website = {https://comby.dev/}, video = {https://www.youtube.com/watch?v=JMZLBB_BFNg} }

41. IEEE SW

    Le Goues, C., Jaspan, C., Ozkaya, I., Shaw, M., & Stolee, K. T. (2018). Bridging the Gap: From Research to Practical Advice. IEEE Software, 35(5), 50–57. https://doi.org/10.1109/MS.2018.3571235 PDF · DOI · BibTeX @article{sw18ebm, author = {{Le~Goues}, Claire and Jaspan, Ciera and Ozkaya, Ipek and Shaw, Mary and Stolee, Kathryn T.}, title = {Bridging the Gap: From Research to Practical Advice}, journal = {{IEEE} Software}, volume = {35}, number = {5}, pages = {50--57}, year = {2018}, doi = {10.1109/MS.2018.3571235} }

42. CACM

    Le Goues, C., Brun, Y., Apel, S., Berger, E., Khurshid, S., & Smaragdakis, Y. (2018). Effectiveness of Anonymization in Double-Blind Review. Commun. ACM, 61(6), 30–33. https://doi.org/10.1145/3208157 PDF · DOI · BibTeX @article{cacm18double, author = {{Le~Goues}, Claire and Brun, Yuriy and Apel, Sven and Berger, Emery and Khurshid, Sarfraz and Smaragdakis, Yannis}, title = {Effectiveness of Anonymization in Double-Blind Review}, journal = {Commun. ACM}, year = {2018}, volume = {61}, number = {6}, pages = {30--33}, doi = {10.1145/3208157} }

43. EMSE

    Le, X.-B. D., Thung, F., Lo, D., & Le Goues, C. (2018). Overfitting in semantics-based automated program repair. Empirical Software Engineering, 23(5), 3007–3033. https://doi.org/10.1007/s10664-017-9577-2 PDF · Results · DOI · BibTeX @article{ese18overfit, title = {Overfitting in semantics-based automated program repair}, author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire}, journal = {Empirical Software Engineering}, year = {2018}, volume = {23}, number = {5}, pages = {3007--3033}, doi = {10.1007/s10664-017-9577-2}, results = {https://zenodo.org/record/1012686#.YUNP455KjBt} }

44. EMSE

    Oliveira, V. P. L., Souza, E. F., Le Goues, C., & Camilo-Junior, C. G. (2018). Improved representation and genetic operators for linear genetic programming for automated program repair. Empirical Software Engineering, 23(5), 2980–3006. https://doi.org/10.1007/s10664-017-9562-9 PDF · DOI · BibTeX @article{ese18rep, title = {Improved representation and genetic operators for linear genetic programming for automated program repair}, author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. and {Le~Goues}, Claire and Camilo-Junior, Celso G.}, journal = {Empirical Software Engineering}, volume = {23}, number = {5}, pages = {2980--3006}, year = {2018}, doi = {10.1007/s10664-017-9562-9} }

45. GECCO

    de Souza, E. F., Le Goues, C., & Camilo-Junior, C. G. (2018). A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 1443–1450. https://doi.org/10.1145/3205455.3205566 PDF · DOI · BibTeX @inproceedings{desouza-gecco18, author = {{de Souza}, Eduardo Faria and {Le~Goues}, Claire and Camilo-Junior, Celso Goncalves}, title = {A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints}, year = {2018}, publisher = {ACM}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, doi = {10.1145/3205455.3205566}, location = {Kyoto, Japan}, pages = {1443--1450} }

46. SEFM

    van Tonder, R., & Le Goues, C. (2018). Cross-Architecture Lifter Synthesis. Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as Part of STAF 2018, 10886, 155–170. https://doi.org/10.1007/978-3-319-92970-5_10 PDF · Code · DOI · BibTeX @inproceedings{sefm18, author = {van Tonder, Rijnard and {Le~Goues}, Claire}, title = {Cross-Architecture Lifter Synthesis}, booktitle = {Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as part of {STAF} 2018}, year = {2018}, pages = {155--170}, publisher = {Springer}, doi = {10.1007/978-3-319-92970-5_10}, series = {Lecture Notes in Computer Science}, volume = {10886} }

47. ICSE

    van Tonder, R., & Le Goues, C. (2018). Static Automated Program Repair for Heap Properties. Proceedings of the 40th IEEE/ACM International Conference on Software Engineering (ICSE), 151–162. https://doi.org/10.1145/3180155.3180250 PDF · Code · Results · DOI · BibTeX @inproceedings{icse18rijnard, title = {Static Automated Program Repair for Heap Properties}, author = {van~Tonder, Rijnard and {Le~Goues}, Claire}, booktitle = {Proceedings of the 40th {IEEE/ACM} International Conference on Software Engineering (ICSE)}, doi = {10.1145/3180155.3180250}, pages = {151--162}, year = {2018}, publisher = {ACM}, location = {Gothenburg, Sweden}, results = {https://github.com/squaresLab/footpatch-patches} }

48. ICSE SEIP

    Hutchison, C., Zizyte, M., Lanigan, P. E., Guttendorf, D., Wagner, M., Le Goues, C., & Koopman, P. (2018). Robustness Testing of Autonomy Software. Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP), 276–285. https://doi.org/10.1145/3183519.3183534 PDF · DOI · BibTeX @inproceedings{icse18seip, title = {Robustness Testing of Autonomy Software}, author = {Hutchison, Casidhe and Zizyte, Milda and Lanigan, Patrick E. and Guttendorf, David and Wagner, Michael and {Le~Goues}, Claire and Koopman, Philip}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP)}, year = {2018}, location = {Gothenburg, Sweden}, pages = {276--285}, doi = {10.1145/3183519.3183534}, publisher = {ACM} }

49. ICPC

    Jaffe, A., Lacomis, J., Schwartz, E., Le Goues, C., & Vasilescu, B. (2018). Meaningful Variable Names for Decompiled Code: A Machine Translation Approach. Proceedings of the 26th IEEE International Conference on Program Comprehension (ICPC), 20–30. https://doi.org/10.1145/3196321.3196330 PDF · DOI · BibTeX @inproceedings{icpc18jaffe, title = {Meaningful Variable Names for Decompiled Code: A Machine Translation Approach}, author = {Jaffe, Alan and Lacomis, Jeremy and Schwartz, Edward and {Le~Goues}, Claire and Vasilescu, Bogdan}, booktitle = {Proceedings of the 26th IEEE International Conference on Program Comprehension (ICPC)}, year = {2018}, doi = {10.1145/3196321.3196330}, pages = {20--30}, location = {Gothenburg, Sweden}, publisher = {ACM} }

50. SEAMS

    Kinneer, C., Coker, Z., Wang, J., Garlan, D., & Le Goues, C. (2018). Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search. Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering For Adaptive and Self-Managing Systems (SEAMS), 40–50. https://doi.org/10.1145/3194133.3194145 PDF · Code · DOI · BibTeX @inproceedings{seams18cody, title = {Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search}, author = {Kinneer, Cody and Coker, Zack and Wang, Jiacheng and Garlan, David and {Le~Goues}, Claire}, pages = {40--50}, booktitle = {Proceedings of the 12th {IEEE/ACM} International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, doi = {10.1145/3194133.3194145}, year = {2018}, location = {Gothenburg, Sweden}, publisher = {ACM} }

51. ICST

    Timperley, C. S., Afzal, A., Katz, D., Hernandez, J. M., & Le Goues, C. (2018). Crashing simulated planes is cheap: Can simulation detect robotics bugs early? Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST), 331–342. https://doi.org/10.1109/ICST.2018.00040 PDF · Code · DOI · BibTeX @inproceedings{icst18crashing, title = {Crashing simulated planes is cheap: {C}an simulation detect robotics bugs early?}, author = {Timperley, Christopher Steven and Afzal, Afsoon and Katz, Deborah and Hernandez, Jam Marcos and {Le~Goues}, Claire}, booktitle = {Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST)}, pages = {331--342}, location = {V{\"{a}}ster{\aa}s, Sweden}, doi = {10.1109/ICST.2018.00040}, year = {2018} }

52. SANER

    Soto, M., & Le Goues, C. (2018). Using a probabilistic model to predict bug fixes. Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 221–231. https://doi.org/10.1109/SANER.2018.8330211 PDF · Code · DOI · BibTeX @inproceedings{saner18mau, title = {Using a probabilistic model to predict bug fixes}, author = {Soto, Mauricio and {Le~Goues}, Claire}, booktitle = {Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)}, year = {2018}, location = {Campobasso, Italy}, pages = {221--231}, doi = {10.1109/SANER.2018.8330211} }

53. ASE

    van Tonder, R., Kotheimer, J., & Le Goues, C. (2018). Semantic crash bucketing. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE), 612–622. https://doi.org/10.1145/3238147.3238200 PDF · Code · DOI · BibTeX @inproceedings{ase18scb, author = {van Tonder, Rijnard and Kotheimer, John and {Le~Goues}, Claire}, title = {Semantic crash bucketing}, booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated Software Engineering (ASE)}, pages = {612--622}, location = {Montpellier, France}, year = {2018}, crossref = {DBLP:conf/kbse/2018}, doi = {10.1145/3238147.3238200}, timestamp = {Wed, 21 Nov 2018 12:44:20 +0100}, biburl = {https://dblp.org/rec/bib/conf/kbse/TonderKG18}, bibsource = {dblp computer science bibliography, https://dblp.org} }

54. SSBSE

    Timperley, C. S., Stepney, S., & Le Goues, C. (2017). An investigation into the use of mutation analysis for automated program repair. Proceedings of the 9th International Symposium on Search Based Software Engineering (SSBSE), 10452, 99–114. https://doi.org/10.1007/978-3-319-66299-2_7 PDF · Data · DOI · BibTeX @inproceedings{ssbse17, author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire}, title = {An investigation into the use of mutation analysis for automated program repair}, booktitle = {Proceedings of the 9th International Symposium on Search Based Software Engineering (SSBSE)}, pages = {99--114}, doi = {10.1007/978-3-319-66299-2_7}, year = {2017}, location = {Paderborn, Germany}, series = {Lecture Notes in Computer Science}, volume = {10452}, publisher = {Springer} }

55. ICSME

    Coker, Z., Damevski, K., Le Goues, C., Kraft, N. A., Shepherd, D., & Pollock, L. (2017). Behavior Metrics for Prioritizing Investigations of Exceptions. Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME, Industry Track), 554–563. https://doi.org/10.1109/ICSME.2017.62 PDF · DOI · BibTeX @inproceedings{icsme17, author = {Coker, Zack and Damevski, Kostadin and {Le~Goues}, Claire and Kraft, Nicholas A. and Shepherd, David and Pollock, Lori}, title = {Behavior Metrics for Prioritizing Investigations of Exceptions}, booktitle = {Proceedings of the 2017 {IEEE} International Conference on Software Maintenance and Evolution (ICSME, Industry Track)}, pages = {554--563}, doi = {10.1109/ICSME.2017.62}, year = {2017}, location = {Shanghai, China}, publisher = {{IEEE} Computer Society} }

56. ESEC/FSE

    Le, X.-B. D., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE), 593–604. https://doi.org/10.1145/3106237.3106309 PDF · Website · DOI · BibTeX @inproceedings{esecfse17s3, author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem}, title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples}, booktitle = {Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)}, doi = {10.1145/3106237.3106309}, location = {Paderborn, Germany}, publisher = {{ACM}}, pages = {593--604}, year = {2017}, website = {https://xuanbachle.github.io/semanticsrepair/} }

57. SNAPL

    Omar, C., Voysey, I., Hilton, M., Sunshine, J., Le Goues, C., Aldrich, J., & Hammer, M. (2017). Toward Semantic Foundations for Program Editors. Proceedings of the 2nd Summit on Advances in Programming Languages (SNAPL), 11:1–11:12. https://doi.org/10.4230/LIPIcs.SNAPL.2017.11 PDF · DOI · BibTeX @inproceedings{snapl17, author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and Sunshine, Joshua and {Le~Goues}, Claire and Aldrich, Jonathan and Hammer, Matthew}, title = {Toward Semantic Foundations for Program Editors}, booktitle = {Proceedings of the 2nd Summit on Advances in Programming Languages (SNAPL)}, doi = {10.4230/LIPIcs.SNAPL.2017.11}, pages = {11:1--11:12}, year = {2017}, location = {Asilomar, CA, USA}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik} }

58. ISSTA

    B. Le, T.-D., Lo, D., Le Goues, C., & Grunske, L. (2016). A Learning-to-rank Based Fault Localization Approach Using Likely Invariants. Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA), 177–188. https://doi.org/10.1145/2931037.2931049 PDF · DOI · BibTeX @inproceedings{le2016issta, author = {B. Le, Tien-Duy and Lo, David and {Le~Goues}, Claire and Grunske, Lars}, title = {A Learning-to-rank Based Fault Localization Approach Using Likely Invariants}, booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA)}, publisher = {ACM}, year = {2016}, location = {Saarbr{\"{u}}cken, Germany}, pages = {177--188}, numpages = {12}, doi = {10.1145/2931037.2931049} }

59. ICPC

    Tian, Y., Wijedasa, D., Lo, D., & Le Goues, C. (2016). Learning to rank for bug report assignee recommendation. Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC), 1–10. https://doi.org/10.1109/ICPC.2016.7503715 PDF · DOI · BibTeX @inproceedings{tian-icpc16, author = {Tian, Yuan and Wijedasa, Dinusha and Lo, David and {Le~Goues}, Claire}, booktitle = {Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC)}, title = {Learning to rank for bug report assignee recommendation}, year = {2016}, location = {Austin, TX, USA}, publisher = {{IEEE} Computer Society}, pages = {1--10}, doi = {10.1109/ICPC.2016.7503715} }

60. SSBSE

    Oliveira, V. P. L., Souza, E. F. D., Le Goues, C., & Camilo-Junior, C. G. (2016). Improved Crossover Operators for Genetic Programming for Program Repair. Proceedings of the 8th International Symposium on Search Based Software Engineering (SSBSE), 9962, 112–127. https://doi.org/10.1007/978-3-319-47106-8_8 PDF · DOI · BibTeX @inproceedings{ssbse16, author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. D. and {Le~Goues}, Claire and Camilo-Junior, Celso G.}, title = {Improved Crossover Operators for Genetic Programming for Program Repair}, booktitle = {Proceedings of the 8th International Symposium on Search Based Software Engineering (SSBSE)}, doi = {10.1007/978-3-319-47106-8_8}, pages = {112--127}, year = {2016}, location = {Raleigh, NC, USA}, series = {Lecture Notes in Computer Science}, volume = {9962} }

61. SANER

    Le, X.-B. D., Lo, D., & Le Goues, C. (2016). History Driven Program Repair. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 1, 213–224. https://doi.org/10.1109/SANER.2016.76 PDF · Code · DOI · BibTeX @inproceedings{bach-saner16, author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire}, booktitle = {Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)}, title = {History Driven Program Repair}, year = {2016}, volume = {1}, pages = {213-224}, doi = {10.1109/SANER.2016.76}, location = {Osaka, Japan}, publisher = {{IEEE} Computer Society}, blog = {https://www.felienne.com/archives/4786} }

62. ACSAC

    Coker, Z., Maass, M., Ding, T., Le Goues, C., & Sunshine, J. (2015). Evaluating the Flexibility of the Java Sandbox. Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC), 1–10. https://doi.org/10.1145/2818000.2818003 PDF · DOI · BibTeX @inproceedings{coker15acsac, author = {Coker, Zack and Maass, Michael and Ding, Tianyuan and {Le~Goues}, Claire and Sunshine, Joshua}, title = {Evaluating the Flexibility of the Java Sandbox}, doi = {10.1145/2818000.2818003}, booktitle = {Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC)}, pages = {1--10}, location = {Los Angeles, CA, USA}, publisher = {ACM}, year = {2015} }

63. ESEC/FSE

    Smith, E. K., Barr, E., Le Goues, C., & Brun, Y. (2015). Is the Cure Worse than the Disease? Overfitting in Automated Program Repair. Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE), 532–543. https://doi.org/10.1145/2786805.2786825 PDF · DOI · BibTeX @inproceedings{smith15fse, author = {Smith, Edward K. and Barr, Earl and {Le~Goues}, Claire and Brun, Yuriy}, title = {Is the Cure Worse than the Disease? {O}verfitting in Automated Program Repair}, booktitle = {Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)}, year = {2015}, pages = {532--543}, location = {Bergamo, Italy}, publisher = {ACM}, doi = {10.1145/2786805.2786825} }

64. ASE

    Ke, Y., Stolee, K. T., Le Goues, C., & Brun, Y. (9AD). Repairing Programs with Semantic Code Search. Proceedings of the 30th IEEE/ACM International Conference On Automated Software Engineering (ASE), 295–306. https://doi.org/10.1109/ASE.2015.60 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{ke15ase, author = {Ke, Yalin and Stolee, Kathryn T. and {Le~Goues}, Claire and Brun, Yuriy}, title = {Repairing Programs with Semantic Code Search}, booktitle = {Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, location = {Lincoln, NE, USA}, date = {9--13}, year = {2015}, doi = {10.1109/ASE.2015.60}, pages = {295--306}, publisher = {{IEEE} Computer Society} }

65. TSE

    Le Goues, C., Holtschulte, N., Smith, E. K., Brun, Y., Devanbu, P. T., Forrest, S., & Weimer, W. (2015). The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng., 41(12), 1236–1256. https://doi.org/10.1109/TSE.2015.2454513 PDF · Website · DOI · BibTeX @article{legoues15tse, author = {{Le~Goues}, Claire and Holtschulte, Neal and Smith, Edward K. and Brun, Yuriy and Devanbu, Premkumar T. and Forrest, Stephanie and Weimer, Westley}, title = {The ManyBugs and IntroClass Benchmarks for Automated Repair of {C} Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {41}, number = {12}, pages = {1236--1256}, year = {2015}, doi = {10.1109/TSE.2015.2454513}, website = {https://repairbenchmarks.cs.umass.edu/} }

66. SQJO

    Le Goues, C., Forrest, S., & Weimer, W. (2013). Current challenges in automatic software repair. Software Quality Journal, 21(3), 421–443. https://doi.org/10.1007/s11219-013-9208-0 PDF · DOI · BibTeX @article{sqjo13, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, title = {Current challenges in automatic software repair}, journal = {Software Quality Journal}, volume = {21}, number = {3}, pages = {421--443}, year = {2013}, doi = {10.1007/s11219-013-9208-0} }

67. GECCO

    Le Goues, C., Forrest, S., & Weimer, W. (2012). Representations and Operators for Improving Evolutionary Software Repair. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 959–966. https://doi.org/10.1145/2330163.2330296 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues12gecco, title = {Representations and Operators for Improving Evolutionary Software Repair}, doi = {10.1145/2330163.2330296}, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, year = {2012}, publisher = {{ACM}}, pages = {959-966}, location = {Philadelphia, PA, USA} }

68. ICSE

    Le Goues, C., Dewey-Vogt, M., Forrest, S., & Weimer, W. (2012). A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each. Proceedings of the 34th International Conference on Software Engineering (ICSE), 3–13. https://doi.org/10.1109/ICSE.2012.6227211 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues12icse, title = {A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for \$8 Each}, author = {Le~Goues, Claire and Dewey-Vogt, Michael and Forrest, Stephanie and Weimer, Westley}, booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE)}, doi = {10.1109/ICSE.2012.6227211}, year = {2012}, location = {Zurich, Switzerland}, pages = {3--13}, publisher = {{IEEE} Computer Society} }

69. TSE

    Le Goues, C., Nguyen, T. V., Forrest, S., & Weimer, W. (2012). GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng., 38(1), 54–72. https://doi.org/10.1109/TSE.2011.104 PDF · DOI · BibTeX @article{genprog12tse, author = {{Le~Goues}, Claire and Nguyen, ThanhVu and Forrest, Stephanie and Weimer, Westley}, title = {GenProg: {A} Generic Method for Automatic Software Repair}, journal = {{IEEE} Trans. Software Eng.}, volume = {38}, number = {1}, pages = {54--72}, year = {2012}, doi = {10.1109/TSE.2011.104} }

70. TSE

    Le Goues, C., & Weimer, W. (2012). Measuring Code Quality to Improve Specification Mining. IEEE Trans. Software Eng., 38(1), 175–190. https://doi.org/10.1109/TSE.2011.5 PDF · DOI · BibTeX @article{specmining12tse, author = {{Le~Goues}, Claire and Weimer, Westley}, title = {Measuring Code Quality to Improve Specification Mining}, journal = {{IEEE} Trans. Software Eng.}, volume = {38}, number = {1}, pages = {175--190}, year = {2012}, doi = {10.1109/TSE.2011.5} }

71. CACM

    Weimer, W., Forrest, S., Le Goues, C., & Nguyen, T. V. (2010). Automatic program repair with evolutionary computation. Communications of the ACM Research Highlight, 53(5), 109–116. https://doi.org/10.1145/1735223.1735249 PDF · DOI · BibTeX @article{genprog-cacm10, title = {Automatic program repair with evolutionary computation}, journal = {Communications of the ACM Research Highlight}, author = {Weimer, Westley and Forrest, Stephanie and {Le~Goues}, Claire and Nguyen, ThanhVu}, number = {5}, volume = {53}, year = {2010}, pages = {109--116}, doi = {10.1145/1735223.1735249} }

72. GECCO

    Fast, E., Le Goues, C., Forrest, S., & Weimer, W. (2010). Designing better fitness functions for automated program repair. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 965–972. https://doi.org/10.1145/1830483.1830654 PDF · DOI · BibTeX @inproceedings{fast10gecco, title = {Designing better fitness functions for automated program repair}, doi = {10.1145/1830483.1830654}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, author = {Fast, Ethan and {Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, location = {Portland, OR, USA}, year = {2010}, publisher = {{ACM}}, pages = {965-972} }

73. ICSE

    Weimer, W., Nguyen, T. V., Le Goues, C., & Forrest, S. (2009). Automatically Finding Patches Using Genetic Programming. Proceedings of the 31st International Conference on Software Engineering (ICSE), 364–374. https://doi.org/10.1109/ICSE.2009.5070536 PDF · DOI · BibTeX @inproceedings{weimer09icse, title = {Automatically Finding Patches Using Genetic Programming}, doi = {10.1109/ICSE.2009.5070536}, booktitle = {Proceedings of the 31st International Conference on Software Engineering (ICSE)}, year = {2009}, location = {Vancouver, Canada}, publisher = {{IEEE}}, pages = {364--374}, author = {Weimer, Westley and Nguyen, ThanhVu and {Le~Goues}, Claire and Forrest, Stephanie} }

74. TACAS

    Le Goues, C., & Weimer, W. (2009). Specification Mining with Few False Positives. 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), 5505, 292–306. https://doi.org/10.1007/978-3-642-00768-2_26 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues09tacas, title = {Specification Mining with Few False Positives.}, doi = {10.1007/978-3-642-00768-2_26}, ee = {http://dx.doi.org/10.1007/978-3-642-00768-2_26}, booktitle = {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)}, author = {Le~Goues, Claire and Weimer, Westley}, year = {2009}, location = {York, UK}, pages = {292--306}, series = {Lecture Notes in Computer Science}, volume = {5505}, publisher = {Springer} }

Short or Workshop Publications

1. ASE Challenge

   Ye, H., Chen, Z., & Le Goues, C. (2023). PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 1899–1910. https://doi.org/10.1109/ASE56229.2023.00163 PDF · Code · DOI · BibTeX @inproceedings{Ye2023PreciseBugCollector, author = {Ye, He and Chen, Zimin and {Le~Goues}, Claire}, booktitle = {2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, title = {PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types}, year = {2023}, pages = {1899-1910}, abstract = {Bug datasets are vital for enabling deep learning techniques to address software maintenance tasks related to bugs. However, existing bug datasets suffer from precise and scale limitations: they are either small-scale but precise with manual validation or large-scale but imprecise with simple commit message processing. In this paper, we introduce Precise-BugCollector, a precise, multi -language bug collection approach that overcomes these two limitations. PreciseBugCollector is based on two novel components: a) A bug tracker to map the codebase repositories with external bug repositories to trace bug type information, and b) A bug injector to generate project-specific bugs by injecting noise into the correct codebases and then executing them against their test suites to obtain test failure messages. We implement PreciseBugCollector against three sources: 1) A bug tracker that links to the national vulnerability data set (NVD) to collect general-wise vulnerabilities, 2) A bug tracker that links to OSS-Fuzz to collect general-wise bugs, and 3) A bug injector based on 16 injection rules to generate project-wise bugs. To date, PreciseBugCollector comprises 1057818 bugs extracted from 2968 open-source projects. Of these, 12602 bugs are sourced from bug repositories (NVD and OSS-Fuzz), while the remaining 1045216 project-specific bugs are generated by the bug injector. Considering the challenge objectives, we argue that a bug injection approach is highly valuable for the industrial setting, since project-specific bugs align with domain knowledge, share the same codebase, and adhere to the coding style employed in industrial projects.}, keywords = {industries;deep learning;training;location awareness;software maintenance;computer bugs;manuals}, doi = {10.1109/ASE56229.2023.00163}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA} }

2. ICSE SEIP

   Groce, A., Jain, K., van Tonder, R., Kalburgi, G. T., & Le Goues, C. (2022). Looking for Lacunae in Bitcoin Core’s Fuzzing Efforts. 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP), 185–186. https://doi.org/10.1109/ICSE-SEIP55303.2022.9794086 PDF · DOI · BibTeX @inproceedings{groce22seip, author = {Groce, Alex and Jain, Kush and van Tonder, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire}, title = {Looking for Lacunae in Bitcoin Core's Fuzzing Efforts}, booktitle = {44th {IEEE/ACM} International Conference on Software Engineering: Software Engineering in Practice, {ICSE} {(SEIP)}}, pages = {185--186}, publisher = {{IEEE}}, year = {2022}, doi = {10.1109/ICSE-SEIP55303.2022.9794086} }

3. DL4C

   Shypula, A. G., Yin, P., Lacomis, J., Le Goues, C., Schwartz, E. J., & Neubig, G. (2022). Learning to Superoptimize Real-World Programs. Deep Learning for Code Workshop. PDF · BibTeX @inproceedings{shypula22dlc, author = {Shypula, Alexander G. and Yin, Pengcheng and Lacomis, Jeremy and {Le~Goues}, Claire and Schwartz, Edward J. and Neubig, Graham}, title = {Learning to Superoptimize Real-World Programs}, booktitle = {Deep Learning for Code Workshop}, year = {2022}, series = {DL4C '22} }

4. DSN Industry

   Zizyte, M., Hutchison, C., Duvall, R., Le Goues, C., & Koopman, P. (2021). The Importance of Safety Invariants in Robustness Testing Autonomy Systems. 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021 - Supplemental Volume, 41–44. https://doi.org/10.1109/DSN-S52858.2021.00028 PDF · DOI · BibTeX @inproceedings{zizyte21dsn, author = {Zizyte, Milda and Hutchison, Casidhe and Duvall, Raewyn and {Le~Goues}, Claire and Koopman, Philip}, title = {The Importance of Safety Invariants in Robustness Testing Autonomy Systems}, booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2021 - Supplemental Volume}, pages = {41--44}, publisher = {{IEEE}}, year = {2021}, doi = {10.1109/DSN-S52858.2021.00028} }

5. DSN Industry

   Katz, D., Zizyte, M., Hutchison, C., Guttendorf, D., Lanigan, P., Sample, E., Koopman, P., Wagner, M., & Le Goues, C. (2020). Robustness Inside Out Testing. Proceedings of the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) – Industry Track, 1–4. https://doi.org/10.1109/DSN-S50200.2020.00013 PDF · Video · DOI · BibTeX @inproceedings{dsn20riot, title = {Robustness Inside Out Testing}, author = {Katz, Deborah and Zizyte, Milda and Hutchison, Casidhe and Guttendorf, David and Lanigan, Patrick and Sample, Eric and Koopman, Philip and Wagner, Michael and {Le~Goues}, Claire}, booktitle = {Proceedings of the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) -- Industry Track}, pages = {1--4}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/DSN-S50200.2020.00013}, doi = {10.1109/DSN-S50200.2020.00013}, location = {Valencia, Spain}, video = {https://youtu.be/WAkFLtEQepU?si=KQdRlfvedl3YA1GY} }

6. MSR Data

   van Tonder, R., Trockman, A., & Le Goues, C. (2019). A Panel Data Set of Cryptocurrency Development Activity on GitHub. 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 186–190. https://doi.org/10.1109/MSR.2019.00037 PDF · DOI · BibTeX @inproceedings{msr19rvt, author = {{van Tonder}, Rijnard and {Trockman}, Asher and {Le~Goues}, Claire}, booktitle = {2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)}, title = {A Panel Data Set of Cryptocurrency Development Activity on GitHub}, year = {2019}, pages = {186--190}, doi = {10.1109/MSR.2019.00037}, location = {Montreal, Canada}, publisher = {{IEEE}/{ACM}}, url = {https://doi.org/10.1109/MSR.2019.00037} }

7. GI

   Ding, Z. Y., Lyu, Y., Timperley, C., & Le Goues, C. (2019). Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair. 2019 IEEE/ACM International Workshop on Genetic Improvement (GI), 2–9. https://doi.org/10.1109/GI.2019.00011 PDF · DOI · BibTeX @inproceedings{gi19, author = {Ding, Zhen Yu and Lyu, Yiwei and Timperley, Christopher and {Le~Goues}, Claire}, booktitle = {2019 IEEE/ACM International Workshop on Genetic Improvement (GI)}, title = {Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair}, year = {2019}, volumeb = {}, number = {}, pages = {2-9}, keywords = {Maintenance engineering;Semantics;Sociology;Statistics;Genetic programming;Computer bugs;genetic programming;automated program repair;program semantics;invariant analysis;fitness function}, doi = {10.1109/GI.2019.00011}, issn = {} }

8. BotSE

   van Tonder, R., & Le Goues, C. (2019). Towards s/engineer/bot: Principles for Program Repair Bots. 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 43–47. https://doi.org/10.1109/BotSE.2019.00019 PDF · DOI · BibTeX @inproceedings{botse19, author = {{van Tonder}, Rijnard and {Le~Goues}, Claire}, booktitle = {2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE)}, title = {Towards s/engineer/bot: Principles for Program Repair Bots}, year = {2019}, volume = {}, number = {}, pages = {43-47}, keywords = {Syntactics;Maintenance engineering;Computer bugs;Tools;Semantics;Software;Automation;software bots;program transformation;automation;software quality;refactoring;automatic program repair}, doi = {10.1109/BotSE.2019.00019}, issn = {} }

9. ICSE Poster

   Timperley, C. S., Stepney, S., & Le Goues, C. (2018). Poster: BugZoo: A Platform for Studying Software Bugs. Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings (ICSE Poster), 446–447. https://doi.org/10.1145/3183440.3195050 PDF · Code · DOI · BibTeX @inproceedings{poster18bugzoo, title = {Poster: BugZoo: A Platform for Studying Software Bugs}, author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings (ICSE Poster)}, pages = {446--447}, doi = {10.1145/3183440.3195050}, publisher = {ACM}, year = {2018}, location = {Gothenburg, Sweden} }

10. MSR Challenge

    Soto, M., & Le Goues, C. (2018). Common Statement Kind Changes to Inform Automatic Program Repair. Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge), 102–105. https://doi.org/10.1145/3196398.3196472 PDF · Code · DOI · BibTeX @inproceedings{msr18mau, title = {Common Statement Kind Changes to Inform Automatic Program Repair}, author = {Soto, Mauricio and {Le~Goues}, Claire}, booktitle = {Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge)}, pages = {102--105}, year = {2018}, doi = {10.1145/3196398.3196472}, location = {Gothenburg, Sweden} }

11. MSR Challenge

    Afzal, A., & Le Goues, C. (2018). A Study on the Use of IDE Features for Debugging. Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge), 114–117. https://doi.org/10.1145/3196398.3196468 PDF · DOI · BibTeX @inproceedings{msr18afsoon, title = {A Study on the Use of {IDE} Features for Debugging}, author = {Afzal, Afsoon and {Le~Goues}, Claire}, booktitle = {Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge)}, year = {2018}, pages = {114--117}, doi = {10.1145/3196398.3196468}, location = {Gothenburg, Sweden} }

12. GI Position

    Afzal, A., Lacomis, J., Le Goues, C., & Timperley, C. S. (2018). A Turing Test for Genetic Improvement (Position Paper). Proceedings of the 4th International Genetic Improvement Workshop, 17–18. https://doi.org/10.1145/3194810.3194817 PDF · DOI · BibTeX @inproceedings{gi18, author = {Afzal, Afsoon and Lacomis, Jeremy and {Le~Goues}, Claire and Timperley, Christopher S.}, title = {A Turing Test for Genetic Improvement (Position Paper)}, booktitle = {Proceedings of the 4th International Genetic Improvement Workshop}, series = {GI '18}, pages = {17--18}, year = {2018}, doi = {10.1145/3194810.3194817}, publisher = {ACM}, location = {Gothenburg, Sweden} }

13. MSR Challenge

    Soto, M., Coker, Z., & Le Goues, C. (2017). Analyzing the Impact of Social Attributes on Commit Integration Success. Proceedings of the 14th International Conference on Mining Software Repositories (MSR Challenge), 483–486. https://doi.org/10.1109/MSR.2017.34 PDF · Code · DOI · BibTeX @inproceedings{soto2017msr, author = {Soto, Mauricio and Coker, Zack and {Le~Goues}, Claire}, title = {Analyzing the Impact of Social Attributes on Commit Integration Success}, doi = {10.1109/MSR.2017.34}, booktitle = {Proceedings of the 14th International Conference on Mining Software Repositories (MSR Challenge)}, year = {2017}, location = {Buenos Aires, Argentina}, pages = {483--486}, publisher = {{IEEE} Computer Society} }

14. ISSTA Tools

    Le, X.-B. D., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFix: Semantics-based repair of Java programs via Symbolic PathFinder. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA Tools), 376–379. https://doi.org/10.1145/3092703.3098225 PDF · Website · DOI · BibTeX @inproceedings{issta-tools17, author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem}, title = {JFix: {S}emantics-based repair of {J}ava programs via Symbolic Path{F}inder}, booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis (ISSTA Tools)}, pages = {376--379}, location = {Santa Barbara, CA, USA}, doi = {10.1145/3092703.3098225}, year = {2017}, publisher = {ACM}, website = {https://xuanbachle.github.io/semanticsrepair/} }

15. DSN Industry

    Weimer, W., Forrest, S., Kim, M., Le Goues, C., & Hurley, P. (2016). Trusted Software Repair for System Resiliency. Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN Workshops), 238–241. https://doi.org/10.1109/DSN-W.2016.64 PDF · DOI · BibTeX @inproceedings{dsnw16, author = {Weimer, Westley and Forrest, Stephanie and Kim, Miryung and {Le~Goues}, Claire and Hurley, Patrick}, title = {Trusted Software Repair for System Resiliency}, booktitle = {Proceedings of the 46th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks Workshops (DSN Workshops)}, pages = {238--241}, year = {2016}, location = {Toulouse, France}, publisher = {{IEEE} Computer Society}, doi = {10.1109/DSN-W.2016.64} }

16. ICSME ERA

    Le, X.-B. D., Le, Q. L., Lo, D., & Le Goues, C. (2016). Enhancing Automated Program Repair with Deductive Verification. Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA), 428–432. https://doi.org/10.1109/ICSME.2016.66 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{bach-era16b, author = {Le, Xuan-Bach D. and Le, Quang Loc and Lo, David and {Le~Goues}, Claire}, title = {Enhancing Automated Program Repair with Deductive Verification}, booktitle = {Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA)}, doi = {10.1109/ICSME.2016.66}, pages = {428--432}, year = {2016}, location = {Raleigh, NC, USA}, publisher = {{IEEE} Computer Society} }

17. ICSME ERA

    Le, X.-B. D., Lo, D., & Le Goues, C. (2016). Empirical Study on Synthesis Engines for Semantics-based Program Repair. Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA), 423–427. https://doi.org/10.1109/ICSME.2016.68 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{bach-era16a, author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire}, title = {Empirical Study on Synthesis Engines for Semantics-based Program Repair}, booktitle = {Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA)}, doi = {10.1109/ICSME.2016.68}, pages = {423--427}, year = {2016}, location = {Raleigh, NC, USA}, publisher = {{IEEE} Computer Society} }

18. ICPC Short

    van Tonder, R., & Le Goues, C. (2016). Defending against the attack of the micro-clones. Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC Short), 1–4. https://doi.org/10.1109/ICPC.2016.7503736 PDF · DOI · BibTeX @inproceedings{vantonder-icpc16, author = {van~{T}onder, Rijnard and {Le~Goues}, Claire}, booktitle = {Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC Short)}, title = {Defending against the attack of the micro-clones}, year = {2016}, location = {Austin, TX, USA}, pages = {1--4}, publisher = {{IEEE} Computer Society}, doi = {10.1109/ICPC.2016.7503736}, github = {https://github.com/kilida/boa-scripts} }

19. MSR Challenge

    Kery, M. B., Le Goues, C., & Myers, B. A. (2016). Examining Programmer Practices for Locally Handling Exceptions. Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge), 484–487. https://doi.org/10.1145/2901739.2903497 PDF · DOI · BibTeX @inproceedings{kery16msr, author = {Kery, Mary Beth and {Le~Goues}, Claire and Myers, Brad A.}, title = {Examining Programmer Practices for Locally Handling Exceptions}, booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge)}, year = {2016}, old_isbn = {978-1-4503-4186-8}, pages = {484--487}, numpages = {4}, doi = {10.1145/2901739.2903497}, acmid = {2903497}, location = {Austin, TX, USA}, publisher = {{ACM}} }

20. MSR Challenge

    Soto, M., Thung, F., Wong, C.-P., Le Goues, C., & Lo, D. (2016). A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions. Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge), 512–515. https://doi.org/10.1145/2901739.2903495 PDF · Code · DOI · BibTeX @inproceedings{soto2016, author = {Soto, Mauricio and Thung, Ferdian and Wong, Chu-Pan and {Le~Goues}, Claire and Lo, David}, title = {A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions}, booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge)}, year = {2016}, pages = {512--515}, numpages = {4}, doi = {10.1145/2901739.2903495}, location = {Austin, TX, USA}, publisher = {{ACM}} }

21. SEAMS Position

    Coker, Z., Garlan, D., & Le Goues, C. (2015). SASS: Self-Adaptation Using Stochastic Search. Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering For Adaptive and Self-Managing Systems (SEAMS), 168–174. https://doi.org/10.1109/SEAMS.2015.16 PDF · DOI · BibTeX @inproceedings{coker15seams, author = {Coker, Zack and Garlan, David and {Le~Goues}, Claire}, title = {{SASS:} Self-Adaptation Using Stochastic Search}, booktitle = {Proceedings of the 10th {IEEE/ACM} International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)}, pages = {168--174}, year = {2015}, doi = {10.1109/SEAMS.2015.16}, location = {Florence, Italy}, publisher = {{IEEE} Computer Society} }

22. SEFM Tools

    Le Goues, C., Leino, K. R. M., & Moskal, M. (2011). The Boogie Verification Debugger (Tool Paper). Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), 7041, 407–414. https://doi.org/10.1007/978-3-642-24690-6_28 PDF · DOI · BibTeX @inproceedings{legoues11sefm, author = {{Le~Goues}, Claire and Leino, K. Rustan M. and Moskal, Michal}, title = {The Boogie Verification Debugger (Tool Paper)}, booktitle = {Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM)}, pages = {407--414}, year = {2011}, location = {Montevideo, Uruguay}, series = {Lecture Notes in Computer Science}, volume = {7041}, publisher = {Springer}, doi = {10.1007/978-3-642-24690-6_28} }

23. FoSER

    Le Goues, C., Forrest, S., & Weimer, W. (2010). The case for software evolution. Proceedings of the Workshop on Future of Software Engineering Research (FoSER), at the 18th ACM SIGSOFT International Symposium On Foundations of Software Engineering, 205–210. https://doi.org/10.1145/1882362.1882406 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues10foser, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, title = {The case for software evolution}, booktitle = {Proceedings of the Workshop on Future of Software Engineering Research (FoSER), at the 18th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering}, pages = {205--210}, year = {2010}, location = {Santa Fe, NM, USA}, publisher = {{ACM}}, doi = {10.1145/1882362.1882406} }

24. SBST Short

    Nguyen, T. V., Weimer, W., Le Goues, C., & Forrest, S. (2009). Extended Abstract: Using Execution Paths to Evolve Software Patches. Second International Conference on Software Testing Verification And Validation, Workshops Proceedings, 152–153. https://doi.org/10.1109/ICSTW.2009.35 DOI · BibTeX @inproceedings{nguyen09icst, author = {Nguyen, ThanhVu and Weimer, Westley and {Le~Goues}, Claire and Forrest, Stephanie}, title = {Extended Abstract: Using Execution Paths to Evolve Software Patches}, booktitle = {Second International Conference on Software Testing Verification and Validation, Workshops Proceedings}, location = {Denver, CO, USA}, publisher = {{IEEE} Computer Society}, pages = {152--153}, year = {2009}, doi = {10.1109/ICSTW.2009.35} }

Other

1. Le Goues, C., Elbaum, S., Anthony, D., Celik, Z. B., Castillo-Effen, M., Correll, N., Jamshidi, P., Quigley, M., Tabor, T., & Zhu, Q. (2024). Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR, abs/2401.12317. https://doi.org/10.48550/ARXIV.2401.12317 PDF · DOI · BibTeX @article{robotReport, author = {{Le Goues}, Claire and Elbaum, Sebastian and Anthony, David and Celik, Z. Berkay and Castillo{-}Effen, Mauricio and Correll, Nikolaus and Jamshidi, Pooyan and Quigley, Morgan and Tabor, Trenton and Zhu, Qi}, title = {Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics}, journal = {CoRR}, volume = {abs/2401.12317}, year = {2024}, doi = {10.48550/ARXIV.2401.12317}, eprinttype = {arXiv}, eprint = {2401.12317} }

2. Le Goues, C., Pradel, M., Roychoudhury, A., & Chandra, S. (2021). Automatic Program Repair. IEEE Softw., 38(4), 22–27. https://doi.org/10.1109/MS.2021.3072577 PDF · DOI · BibTeX @article{legoues21ieeesw, author = {{Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik and Chandra, Satish}, title = {Automatic Program Repair}, journal = {{IEEE} Softw.}, volume = {38}, number = {4}, pages = {22--27}, year = {2021}, doi = {10.1109/MS.2021.3072577} }

3. Grundy, J., Le Goues, C., & Lo, D. (Eds.). (2020). 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020. ACM. https://doi.org/10.1145/3417113 DOI · BibTeX @proceedings{ase20, editor = {Grundy, John and {Le~Goues}, Claire and Lo, David}, title = {35th {IEEE/ACM} International Conference on Automated Software Engineering Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3417113}, doi = {10.1145/3417113}, isbn = {978-1-4503-8128-4}, timestamp = {Fri, 12 Feb 2021 15:16:32 +0100}, biburl = {https://dblp.org/rec/conf/kbse/2020w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

4. Le, X.-B. D., Thung, F., Lo, D., & Le Goues, C. (2018). Overfitting in semantics-based automated program repair. Proceedings of the 40th International Conference on Software Engineering (Journal First), 163. https://doi.org/10.1145/3180155.3182536 DOI · BibTeX @inproceedings{ese18overfitJF, title = {Overfitting in semantics-based automated program repair}, author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire}, booktitle = {Proceedings of the 40th International Conference on Software Engineering (Journal First)}, series = { ICSE (Journal First) 2018}, pages = {163}, publisher = {ACM}, doi = {10.1145/3180155.3182536}, year = {2018}, location = {Gothenburg, Sweden} }

5. Petke, J., Le Goues, C., Forrest, S., & Langdon, W. B. (2018). Genetic Improvement of Software (Dagstuhl Seminar 18052). Dagstuhl Reports, 8(1), 158–182. https://doi.org/10.4230/DagRep.8.1.158 DOI · BibTeX @article{dagstuhl18, author = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.}, title = {{Genetic Improvement of Software (Dagstuhl Seminar 18052)}}, pages = {158--182}, journal = {Dagstuhl Reports}, issn = {2192-5283}, year = {2018}, volume = {8}, number = {1}, editor = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, doi = {10.4230/DagRep.8.1.158} }

6. Le Goues, C., & Yoo, S. (2017). Guest editorial for special section on research in search-based software engineering. Empirical Software Engineering, 22(2), 849–851. https://doi.org/10.1007/s10664-017-9504-6 PDF · DOI · BibTeX @article{ese-guest17, author = {{Le~Goues}, Claire and Yoo, Shin}, title = {Guest editorial for special section on research in search-based software engineering}, journal = {Empirical Software Engineering}, volume = {22}, number = {2}, pages = {849--851}, year = {2017}, old_url = {https://doi.org/10.1007/s10664-017-9504-6}, doi = {10.1007/s10664-017-9504-6} }

7. Le Goues, C., Brun, Y., Forrest, S., & Weimer, W. (2017). Clarifications on the Construction and Use of the ManyBugs Benchmark (Comment Paper). IEEE Trans. Software Eng., 43(11), 1089–1090. https://doi.org/10.1109/TSE.2017.2755651 PDF · DOI · BibTeX @article{tse17comment, author = {{Le~Goues}, Claire and Brun, Yuriy and Forrest, Stephanie and Weimer, Westley}, journal = {{IEEE} Trans. Software Eng.}, title = {Clarifications on the Construction and Use of the {M}any{B}ugs Benchmark (Comment Paper)}, volume = {43}, number = {11}, pages = {1089--1090}, year = {2017}, doi = {10.1109/TSE.2017.2755651} }

8. Kim, S., Le Goues, C., Pradel, M., & Roychoudhury, A. (2017). Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports, 7(1), 19–31. https://doi.org/10.4230/DagRep.7.1.19 DOI · BibTeX @article{dagstuhl17, author = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik}, title = {{Automated Program Repair (Dagstuhl Seminar 17022)}}, pages = {19--31}, journal = {Dagstuhl Reports}, issn = {2192-5283}, year = {2017}, volume = {7}, number = {1}, editor = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, doi = {10.4230/DagRep.7.1.19}, annote = {Keywords: Program repair, program analysis, software engineering} }

9. Le Goues, C., & Yoo, S. (Eds.). (2014). Proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 (Vol. 8636). Springer. https://doi.org/10.1007/978-3-319-09940-8 DOI · BibTeX @proceedings{ssbse14, editor = {{Le~Goues}, Claire and Yoo, Shin}, title = {Proceedings of the 6th International Symposium on Search-Based Software Engineering, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014}, series = {Lecture Notes in Computer Science}, volume = {8636}, publisher = {Springer}, year = {2014}, doi = {10.1007/978-3-319-09940-8}, isbn = {978-3-319-09939-2}, timestamp = {Mon, 21 Jul 2014 13:11:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/ssbse/2014}, bibsource = {dblp computer science bibliography, http://dblp.org} }

10. Le Goues, C., Nguyen-Tuong, A., Chen, H., Davidson, J. W., Forrest, S., Hiser, J., Knight, J. C., & Gundy, M. V. (2013). Moving Target Defenses in the Helix Self-Regenerative Architecture. In Moving Target Defense II - Application of Game Theory and Adversarial Modeling (pp. 117–149). Springer. https://doi.org/10.1007/978-1-4614-5416-8_7 PDF · DOI · BibTeX @incollection{helix-mtd13, author = {{Le~Goues}, Claire and Nguyen-Tuong, Anh and Chen, Hao and Davidson, Jack W. and Forrest, Stephanie and Hiser, Jason and Knight, John C. and Gundy, Matthew Van}, title = {Moving Target Defenses in the Helix Self-Regenerative Architecture}, booktitle = {Moving Target Defense {II} - Application of Game Theory and Adversarial Modeling}, pages = {117--149}, year = {2013}, publisher = {Springer}, doi = {10.1007/978-1-4614-5416-8_7} }

11. Forrest, S., & Le Goues, C. (2012). Evolutionary software repair (Invited Tutorial). Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings, 1345–1348. https://doi.org/10.1145/2330784.2330943 DOI · BibTeX @inproceedings{gecco12tutorial, author = {Forrest, Stephanie and {Le~Goues}, Claire}, title = {Evolutionary software repair (Invited Tutorial)}, booktitle = {Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings}, pages = {1345--1348}, year = {2012}, doi = {10.1145/2330784.2330943}, publisher = {{ACM}}, location = {Philadelpha, PA, USA} }

Theses

1. Le Goues, C. (2013). Automatic Program Repair Using Genetic Programming [PhD thesis]. University of Virginia. PDF · BibTeX @phdthesis{legoues-dissertation, author = {{Le~Goues}, Claire}, title = {Automatic Program Repair Using Genetic Programming}, school = {University of Virginia}, year = {2013} }

2. Le Goues, C. (2009). Specification Mining With Few False Positives [Master's thesis]. University of Virginia. PDF · BibTeX @mastersthesis{legoues-masters, author = {{Le~Goues}, Claire}, title = {Specification Mining With Few False Positives}, school = {University of Virginia}, year = {2009} }