Publications

Note on citing: By default, Bibtex will butcher last names with spaces (turning Claire into Goues, C.L. or Rijnard into Tonder, R.V.); we always appreciate judiciously applied brackets ({Le Goues}) or a non-breaking space (van~Tonder). We have found that a combination of the two ({Le~Goues}) seems to work best.

2024

Automated Program Repair, What Is It Good For? Not Absolutely Nothing!, Hadeel Eladawy, Claire Le Goues, and Yuriy Brun, in Proceedings of the 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal, 2024, pp. 1017–1029.
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},
  month = apr,
  year = {2024},
  pages = {1017--1029},
  doi = {10.1145/3597503.3639095},
  video = {https://youtu.be/_2tUAI78Ybw}
}

BatFix: Repairing language model-based transpilation, Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, and Claire Le Goues, ACM Transactions on Software Engineering and Methodology, Apr. 2024.
DOI · BibTeX
@article{batfix,
  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},
  month = apr
}

Is it a Bug? Understanding Physical Unit Mismatches in Robot Software, Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, and Christopher Steven Timperley, in International Conference on Robotics and Automation, 2024, pp. 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}
}

Large language models for test-free fault localization, Aidan ZH Yang, Claire Le Goues, Ruben Martins, and Vincent Hellendoorn, in Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024, pp. 1–12.
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}
}

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation, Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, and Alex Groce, Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE), 2024.
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}
}

A Lightweight Polyglot Code Transformation Language, Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan, in Proceedings of the ACM on Programming Languages, PLDI, 2024.
DOI · BibTeX
@inproceedings{pldi2024,
  title = {A {L}ightweight {P}olyglot {C}ode {T}ransformation {L}anguage},
  author = {Ketkar, Ameya and Ramos, Daniel and Clapp, Lazaro and Barik, Raj and Ramanathan, Murali Krishna},
  booktitle = {Proceedings of the ACM on Programming Languages},
  publisher = {{ACM}},
  series = {PLDI},
  year = {2024},
  doi = {10.1145/3656429}
}

ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems, Tobias Dürschmid, Christopher Steven Timperley, David Garlan, and Claire Le Goues, in Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ICSE ’24, 2024.
PDF · Slides (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},
  url = {https://doi.org/10.1145/3597503.3639206},
  doi = {10.1145/3597503.3639206},
  booktitle = {Proceedings of the IEEE/ACM 46th International Conference on Software Engineering},
  articleno = {144},
  numpages = {13},
  series = {ICSE '24}
}

A Taxonomy of C Decompiler Fidelity Issues, Luke Dramko, Jeremy Lacomis, Edward J Schwartz, Bogdan Vasilescu, and Claire Le Goues, 33rd USENIX Security Symposium, 2024.
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}
}

2023

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts, Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, and Alex Groce, in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), Los Alamitos, CA, USA, 2023, pp. 102–113.
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},
  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},
  month = oct
}

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, He Ye, Zimin Chen, and Claire Le Goues, in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Los Alamitos, CA, USA, 2023, pp. 1899–1910.
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},
  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},
  month = sep
}

CAT-LM Training Language Models on Aligned Code And Tests, Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, and Vincent J. Hellendoorn, in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Los Alamitos, CA, USA, 2023, pp. 409–420.
PDF · Data · 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},
  keywords = {training;codes;runtime;data models;software;test pattern generators;standards},
  doi = {10.1109/ASE56229.2023.00193},
  url = {https://doi.ieeecomputersociety.org/10.1109/ASE56229.2023.00193},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  month = sep
}

Contextual Predictive Mutation Testing, Kush Jain, Uri Alon, Alex Groce, and Claire Le Goues, in Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, New York, NY, USA, ESEC/FSE 2023, 2023, pp. 250–261.
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},
  url = {https://doi.org/10.1145/3611643.3616289},
  doi = {10.1145/3611643.3616289},
  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}
}

Patching Locking Bugs Statically with Crayons, Juan Alfredo Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, and Andrzej Wąsowski, ACM Trans. Softw. Eng. Methodol., vol. 32, no. 3, pp. 56:1–56:28, 2023.
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}
}

MELT: Mining Effective Lightweight Transformations from Pull Requests, Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, and Claire Le Goues, in IEEE/ACM International Conference on Automated Software Engineering, ASE ’23, 2023, pp. 1516–1528.
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}
}

DIRE and its Data: Neural Decompiled Variable Renamings with respect to Software Class, Luke Dramko, Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Graham Neubig, Bodan Vasilescu, and Claire Le Goues, ACM Trans. Softw. Eng. Methodol., vol. 32, no. 2, pp. 39:1–39:34, 2023.
PDF · DOI · BibTeX
@article{DramkoDIREData2022,
  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},
  journal = {{ACM} Trans. Softw. Eng. Methodol.},
  volume = {32},
  number = {2},
  pages = {39:1--39:34},
  year = {2023},
  doi = {10.1145/3546946},
  series = {TOSEM '22}
}

2022

Registered Report: First, Fuzz the Mutants, Alex Groce, Goutamkumar Tulajappa Kalburgi, Kush Jain, Claire Le Goues, and Rahul Gopinath, Proceedings of the 1st International Fuzzing Workshop, 2022.
PDF · BibTeX
@article{groceFuzzTheMutants,
  title = {Registered Report: First, Fuzz the Mutants},
  author = {Groce, Alex and Kalburgi, Goutamkumar Tulajappa and Jain, Kush and {Le~Goues}, Claire and Gopinath, Rahul},
  booktitle = {Proceedings of the 1st International Fuzzing Workshop},
  series = {FUZZING 22},
  year = {2022}
}

Looking for Lacunae in Bitcoin Core’s Fuzzing Efforts, Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, and Claire Le Goues, in 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2022, pp. 185–186.
PDF · DOI · BibTeX
@inproceedings{groceBitcoinFuzzing,
  author = {Groce, Alex and Jain, Kush and {van~Tonder}, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire},
  booktitle = {2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)},
  title = {Looking for Lacunae in Bitcoin Core's Fuzzing Efforts},
  year = {2022},
  volume = {},
  number = {},
  pages = {185-186},
  keywords = {Bitcoin;Fuzzing;Software systems;Software engineering;fuzzing;saturation;test diversity;mutation analysis;oracle strength},
  doi = {10.1145/3510457.3513072}
}

Quality of Automated Program Repair on Real-World Defects, Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, and Claire Le Goues, IEEE Transactions on Software Engineering (TSE), no. 48, pp. 637–661, 2022.
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}
}

Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems, Afsoon Afzal, Claire Le Goues, and Christopher Steven Timperley, IEEE Trans. Software Eng., vol. 48, no. 11, pp. 4535–4552, 2022.
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}
}

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems, Christopher S. Timperley, Tobias Dürschmid, Bradley Schmerl, David Garlan, and Claire Le Goues, in Proceedings of the 19th IEEE International Conference on Software Architecture., ICSA ’22, 2022, pp. 112–123.
PDF · Slides (PDF) · Video · Code · Data · DOI · BibTeX
@inproceedings{Timperley2022ROSDiscover,
  author = {Timperley, Christopher S. and D\"{u}rschmid, Tobias and Schmerl, Bradley and Garlan, David and {Le~Goues}, Claire},
  title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems},
  booktitle = {Proceedings of the 19th IEEE International Conference on Software Architecture.},
  series = {ICSA '22},
  year = {2022},
  numpages = {12},
  publisher = {IEEE},
  pages = {112-123},
  doi = {10.1109/ICSA53651.2022.00019},
  talk = {https://www.youtube.com/watch?v=sUfTNU5Jb-A},
  video = {https://youtu.be/sUfTNU5Jb-A?si=iIqo7Jy93YNP38tH}
}

Learning to Superoptimize Real-World Programs, Alexander G. Shypula, Pengcheng Yin, Jeremy Lacomis, Claire Le Goues, Edward J. Schwartz, and Graham Neubig, in Deep Learning for Code Workshop, DL4C ’22, 2022.
PDF · BibTeX
@inproceedings{ShypulaSuperoptimization2022,
  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}
}

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning, Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, and Claire Le Goues, in International Conference on Software Engineering, ICSE ’22, 2022.
PDF · Video · Code · BibTeX
@inproceedings{ChenVarCLR2022,
  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 = {International Conference on Software Engineering},
  year = {2022},
  series = {ICSE '22},
  video = {https://www.youtube.com/watch?v=WyB49EIcctY}
}

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report), Kevin Leach, Christopher Steven Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha P. Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues, and Westley Weimer, in IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022, pp. 73–84.
PDF · 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}
}

Making no-fuss compiler fuzzing effective, Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, and Claire Le Goues, in CC ’22: 31st ACM SIGPLAN International Conference on Compiler Construction, 2022, pp. 194–204.
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}
}

Augmenting Decompiler Output with Learned Variable Names and Types, Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, and Bogdan Vasilescu, in USENIX Security Symposium, Oakland ’22, 2022.
PDF · Code · Website · BibTeX
@inproceedings{ChenDIRTY2022,
  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}
}

2021

An Empirical Study of OSS-Fuzz Bugs, Zhen Yu Ding and Claire Le Goues, in International Conference on Mining Software Repositories, MSR ’21, 2021.
PDF · Data · BibTeX
@inproceedings{DingOSSFuzz21,
  title = {An Empirical Study of OSS-Fuzz Bugs},
  author = {Ding, {Zhen~Yu} and {Le~Goues}, Claire},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR '21},
  year = {2021},
  month = may
}

Simulation for Robotics Test Automation: Developer Perspectives, Afsoon Afzal, Deborah S. Katz, Claire Le Goues, and Christopher Steven Timperley, in International Conference on Software Testing, Validation and Verification, ICST ’21, 2021.
PDF · Data · BibTeX
@inproceedings{AfzalSimulation21,
  title = {Simulation for Robotics Test Automation: Developer Perspectives},
  author = {Afzal, Afsoon and Katz, Deborah S. and {Le~Goues}, Claire and Timperley, Christopher Steven},
  booktitle = {International Conference on Software Testing, Validation and
                    Verification},
  series = {ICST '21},
  year = {2021},
  month = apr
}

SOAR: A Synthesis Approach for Data Science API Refactoring, Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, and Claire Le Goues, in Proceedings of the IEEE/ACM International Conference on Software Engineering, ICSE ’21, 2021, pp. 112–124.
Video · DOI · BibTeX
@inproceedings{SOAR2021,
  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 = {Proceedings of the IEEE/ACM International Conference on Software Engineering},
  pages = {112--124},
  publisher = {{IEEE}},
  year = {2021},
  url = {https://doi.org/10.1109/ICSE43902.2021.00023},
  doi = {10.1109/ICSE43902.2021.00023},
  biburl = {https://dblp.org/rec/conf/icse/NiRYLMMG21.bib},
  series = {ICSE '21},
  video = {https://youtu.be/RDRVGkVwcQQ?si=z4trOqXNkjaNQQN0}
}

VarFix: balancing edit expressiveness and search effectiveness in automated program repair, Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, and Claire 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 · 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}
}

Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems, Cody Kinneer, David Garlan, and Claire Le Goues, ACM Trans. Auton. Adapt. Syst., vol. 15, no. 1, pp. 3:1–3:36, 2021.
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}
}

The Importance of Safety Invariants in Robustness Testing Autonomy Systems, Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, and Philip Koopman, in 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021 - Supplemental Volume, 2021, pp. 41–44.
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}
}

Understanding and improving artifact sharing in software engineering research, Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, and Michael Hilton, Empir. Softw. Eng., vol. 26, no. 4, p. 67, 2021.
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}
}

FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications, Zack Coker, Joshua Sunshine, and Claire Le Goues, in 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2021, pp. 201–212.
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}
}

Automatic Program Repair, Claire Le Goues, Michael Pradel, Abhik Roychoudhury, and Satish Chandra, IEEE Softw., vol. 38, no. 4, pp. 22–27, 2021.
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}
}

SOSRepair: Expressive Semantic Search for Real-World Program Repair, Afsoon Afzal, Manish Motwani, Kathryn Stolee, Yuriy Brun, and Claire Le Goues, IEEE Transactions on Software Engineering, vol. 47, no. 10, pp. 2162–2181, 2021.
PDF · Code · Data · Results · DOI · BibTeX
@article{AfzalSOSRepair19,
  title = {{SOSRepair}: Expressive Semantic Search for Real-World Program Repair},
  author = {Afzal, Afsoon and Motwani, Manish and Stolee, Kathryn and Brun, Yuriy and {Le~Goues}, Claire},
  journal = {{IEEE} Transactions on Software Engineering},
  year = {2021},
  volume = {47},
  number = {10},
  venue = {TSE},
  issn = {0098-5589},
  pages = {2162--2181},
  publisher = {IEEE},
  doi = {10.1109/TSE.2019.2944914}
}

2020

A Study on Challenges of Testing Robotic Systems, Afsoon Afzal, Claire Le Goues, Michael Hilton, and Christopher Steven Timperley, in International Conference on Software Testing, Validation and Verification, ICST ’20, 2020.
PDF · Data · BibTeX
@inproceedings{AfzalQualitative20,
  title = {A Study on Challenges of Testing Robotic Systems},
  author = {Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven},
  booktitle = {International Conference on Software Testing, Validation and
                    Verification},
  series = {ICST '20},
  location = {Porto, Portugal},
  year = {2020},
  month = mar
}

It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem, Sophia Kolak, Afsoon Afzal, Claire Le Goues, Michael Hilton, and Christopher Steven Timperley, in IEEE International Conference on Software Maintenance and Evolution, ICSME ’20, 2020, vol. .
PDF · Video · Data · BibTeX
@inproceedings{KolakROS20,
  author = {Kolak, Sophia and Afzal, Afsoon and {Le Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven},
  booktitle = {IEEE International Conference on Software Maintenance and Evolution},
  title = {It Takes a Village to Build a Robot: An Empirical Study of The {ROS} Ecosystem},
  year = {2020},
  series = {ICSME '20},
  volume = { },
  number = {},
  pages = {},
  video = {https://youtu.be/a16E3j6am-E?si=VFbjg8PGGg-5TLIa}
}

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness, Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, and Claire Le Goues, in International Conference on Robotics and Automation, ICRA ’20, 2020, pp. 9367–9373.
PDF · BibTeX
@inproceedings{KatzDetecting2020,
  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 = {International Conference on Robotics and Automation},
  series = {ICRA '20},
  year = {2020},
  pages = {9367--9373}
}

Empirical Study of Restarted and Flaky Builds on Travis CI, Thomas Durieux, Claire Le Goues, Michael Hilton, and Rui Abreu, in IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 2020, pp. 254–264.
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}
}

Robustness Inside Out Testing, Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric Sample, Philip Koopman, Michael Wagner, and Claire Le Goues, in Dependable Systems and Networks – Industry Track, DSN-I, 2020, pp. 1–4.
PDF · Video · DOI · BibTeX
@inproceedings{KatzRIOT2020,
  author = {Katz, Deborah S. and Zizyte, Milda and Hutchison, Casidhe and Guttendorf, David and Lanigan, Patrick E. and Sample, Eric and Koopman, Philip and Wagner, Michael and {Le~Goues}, Claire},
  title = {Robustness Inside Out Testing},
  booktitle = {Dependable Systems and Networks -- Industry Track},
  series = {DSN-I},
  year = {2020},
  pages = {1--4},
  doi = {10.1109/DSN-S50200.2020.00013},
  video = {https://youtu.be/WAkFLtEQepU?si=KQdRlfvedl3YA1GY}
}

Building Reusable Repertoires for Stochastic Self-* Planners, Cody Kinneer, Rijnard van Tonder, David Garlan, and Claire Le Goues, in IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 2020, pp. 222–231.
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}
}

Tailoring Programs for Static Analysis via Program Transformation, Rijnard van Tonder and Claire Le Goues, in Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE), 2020, pp. 824–834.
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},
  pages = {824--834},
  doi = {10.1145/3377811.3380343},
  video = {https://youtu.be/9wb9HY1KcKs?si=h4XkfkrB4m5xy8UJ}
}

35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020, John Grundy, Claire Le Goues, and David Lo, Eds., . ACM, 2020.
DOI · BibTeX
@proceedings{ase2020conf,
  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},
  doi = {10.1145/3417113},
  isbn = {978-1-4503-8128-4}
}

2019

Model-Based Adaptation for Robotics Software, J. Aldrich, D. Garlan, C. Kaestner, C. Le Goues, A. Mohseni-Kabir, I. Ruchkin, S. Samuel, B. Schmerl, C. S. Timperley, M. Veloso, I. Voysey, J. Biswas, A. Guha, J. Holtz, J. Camara, and P. Jamshidi, IEEE Software, vol. 36, no. 2, pp. 83–90, Mar. 2019.
DOI · BibTeX
@article{MARS2019,
  author = {{Aldrich}, J. and {Garlan}, D. and {Kaestner}, C. and {Le~Goues}, C. and {Mohseni-Kabir}, A. and {Ruchkin}, I. and {Samuel}, S. and {Schmerl}, B. and {Timperley}, C. S. and {Veloso}, M. and {Voysey}, I. and {Biswas}, J. and {Guha}, A. and {Holtz}, J. and {Camara}, J. and {Jamshidi}, P.},
  journal = {IEEE Software},
  title = {Model-Based Adaptation for Robotics Software},
  year = {2019},
  volume = {36},
  number = {2},
  pages = {83-90},
  doi = {10.1109/MS.2018.2885058},
  month = mar
}

A Panel Data Set of Cryptocurrency Development Activity on GitHub, Rijnard van Tonder, Asher Trockman, and Claire Le Goues, in 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, pp. 186–190.
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}
}

Towards s/engineer/bot: Principles for Program Repair Bots, Rijnard van Tonder and Claire Le Goues, in 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 2019, pp. 43–47.
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 = {}
}

Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats, Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, and David 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 · 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}
}

Automated Program Repair, Claire Le Goues, Michael Pradel, and Abhik Roychoudhury, Commun. ACM, vol. 62, no. 12, pp. 56–65, 2019.
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}
}

A Qualitative Study on Framework Debugging, Zack Coker, David Gray Widder, Claire Le Goues, Chris Bogart, and Josh Sunshine, in IEEE International Conference on Software Maintenance and Evolution, ICSME ’19, 2019, vol. , pp. 568–579.
PDF · Slides (PDF) · Code · BibTeX
@inproceedings{CokerQualitative2019,
  author = {{Coker}, Zack and {Widder}, David Gray and {Le Goues}, Claire and {Bogart}, Chris and {Sunshine}, Josh},
  booktitle = {IEEE International Conference on Software Maintenance and Evolution},
  title = {A Qualitative Study on Framework Debugging},
  year = {2019},
  series = {ICSME '19},
  volume = { },
  number = {},
  pages = {568--579}
}

DIRE: A Neural Approach to Decompiled Identifier Naming, Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, and Bogdan Vasilescu, in International Conference on Automated Software Engineering, ASE ’19, 2019.
PDF · Data · BibTeX
@inproceedings{LacomisDIRE2019,
  author = {Lacomis, Jeremy and Yin, Pengcheng and Schwartz, Edward J. and Allamanis, Miltiadis and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan},
  title = {{DIRE}: {A} Neural Approach to Decompiled Identifier Naming},
  booktitle = {International Conference on Automated Software Engineering},
  year = {2019},
  series = {ASE '19}
}

Lightweight Multi-language Syntax Transformation with Parser Parser Combinators, Rijnard van Tonder and Claire Le Goues, in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019, pp. 363–378.
PDF · 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},
  website = {https://comby.dev},
  pages = {363--378},
  numpages = {16},
  doi = {10.1145/3314221.3314589},
  acmid = {3314589},
  publisher = {ACM},
  keywords = {parsers, rewriting, syntax, transformation}
}

DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems, Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, and David Garlan, in Proceedings of the 14th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’19, 2019, pp. 181–187.
PDF · DOI · BibTeX
@inproceedings{MorenoDART2019,
  author = {Moreno, Gabriel A. and Kinneer, Cody and Pandey, Ashutosh and Garlan, David},
  title = {DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems},
  booktitle = {Proceedings of the 14th International Conference on Software Engineering for Adaptive and Self-Managing Systems},
  series = {SEAMS '19},
  pages = {181--187},
  year = {2019},
  location = {Montreal, Canada},
  doi = {10.1109/SEAMS.2019.00031},
  numpages = {7},
  publisher = {IEEE}
}

Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair, Zhen Yu Ding, Yiwei Lyu, Christopher S. Timperley, and Claire Le Goues, in Genetic Improvement Workshop, GI ’19, 2019, pp. 2–9.
PDF · DOI · BibTeX
@inproceedings{DingLyuGI2019,
  author = {Ding, {Zhen~Yu} and Lyu, Yiwei and Timperley, Christopher S. and {Le~Goues}, Claire},
  title = {Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair},
  booktitle = {Genetic Improvement Workshop},
  series = {GI '19},
  year = {2019},
  pages = {2--9},
  doi = {10.1109/GI.2019.00011}
}

2018

A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints, Eduardo Faria de Souza, Claire Le Goues, and Celso Goncalves Camilo-Junior, in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO ’18, 2018, pp. 1443–1450.
PDF · BibTeX
@inproceedings{deSouzaFitness2018,
  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},
  series = {GECCO '18},
  location = {Kyoto, Japan},
  month = jul,
  pages = {1443--1450}
}

Effectiveness of Anonymization in Double-Blind Review, Claire Le Goues, Yuriy Brun, Sven Apel, Emery Berger, Sarfraz Khurshid, and Yannis Smaragdakis, Commun. ACM, vol. 61, no. 6, pp. 30–33, Jun. 2018.
PDF · DOI · BibTeX
@article{LeGouesDoubleBlind2018,
  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},
  month = jun,
  volume = {61},
  number = {6},
  pages = {30--33},
  doi = {10.1145/3208157}
}

Static Automated Program Repair for Heap Properties, Rijnard van Tonder and Claire Le Goues, in International Conference on Software Engineering, ICSE ’18, 2018, pp. 151–162.
PDF · Slides (PDF) · Code · DOI · BibTeX
@inproceedings{vanTonderHeapProperties2018,
  title = {Static Automated Program Repair for Heap Properties},
  author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire},
  booktitle = {International Conference on Software Engineering},
  series = {ICSE '18},
  pages = {151--162},
  month = may,
  year = {2018},
  publisher = {ACM},
  location = {Gothenburg, Sweden},
  doi = {10.1145/3180155.3180250}
}

Robustness Testing of Autonomy Software, Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, and Philip Koopman, in International Conference on Software Engineering: Software Engineering in Practice, ICSE SEIP ’18, 2018, pp. 276–285.
PDF · DOI · BibTeX
@inproceedings{HutchisonRobustness2018,
  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 = {International Conference on Software Engineering: Software
                    Engineering in Practice},
  series = {ICSE SEIP '18},
  year = {2018},
  month = may,
  location = {Gothenburg, Sweden},
  pages = {276--285},
  doi = {10.1145/3183519.3183534},
  publisher = {ACM}
}

Poster: BugZoo: A Platform for Studying Software Bugs, Christopher Steven Timperley, Susan Stepney, and Claire Le Goues, in International Conference on Software Engineering: Companion Proceedings, ICSE Poster ’18, 2018, pp. 446–447.
PDF · Poster · DOI · BibTeX
@inproceedings{TimperleyBugZooPoster2018,
  title = {Poster: BugZoo: A Platform for Studying Software Bugs},
  author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire},
  booktitle = {International Conference on Software Engineering: Companion
                    Proceedings},
  series = {ICSE Poster '18},
  pages = {446--447},
  doi = {10.1145/3183440.3195050},
  publisher = {ACM},
  month = may,
  year = {2018},
  location = {Gothenburg, Sweden}
}

Common Statement Kind Changes to Inform Automatic Program Repair, Mauricio Soto and Claire Le Goues, in International Conference on Mining Software Repositories, MSR Challenge ’18, 2018.
PDF · Code · DOI · BibTeX
@inproceedings{SotoMSRChallenge2018,
  title = {Common Statement Kind Changes to Inform Automatic Program
                    Repair},
  author = {Soto, Mauricio and {Le~Goues}, Claire},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR Challenge '18},
  doi = {10.1145/3196398.3196472},
  month = may,
  year = {2018},
  location = {Gothenburg, Sweden}
}

A Study on the Use of IDE Features for Debugging, Afsoon Afzal and Claire Le Goues, in International Conference on Mining Software Repositories, MSR Challenge ’18, 2018.
PDF · DOI · BibTeX
@inproceedings{AfzalMSRChallenge2018,
  title = {A Study on the Use of IDE Features for Debugging},
  author = {Afzal, Afsoon and {Le~Goues}, Claire},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR Challenge '18},
  doi = {10.1145/3196398.3196468},
  month = may,
  year = {2018},
  location = {Gothenburg, Sweden}
}

Overfitting in Semantics-Based Automated Program Repair, Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues, in International Conference on Software Engineering, ICSE (Journal First) ’18, 2018, p. 163.
PDF · DOI · BibTeX
@inproceedings{XuanBachOverfittingJF2018,
  title = {Overfitting in Semantics-Based Automated Program Repair},
  author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire},
  booktitle = {International Conference on Software Engineering},
  series = {ICSE (Journal First) '18},
  pages = {163},
  publisher = {ACM},
  doi = {10.1145/3180155.3182536},
  year = {2018},
  month = may,
  location = {Gothenburg, Sweden}
}

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?, Christopher Steven Timperley, Afsoon Afzal, Deborah Katz, Jam Marcos Hernandez, and Claire Le Goues, in International Conference on Software Testing, Validation and Verification, ICST ’18, 2018, pp. 331–342.
PDF · Data · DOI · BibTeX
@inproceedings{TimperleyCrashing2018,
  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 = {International Conference on Software Testing, Validation and
                    Verification},
  series = {ICST '18},
  pages = {331--342},
  location = {V{\"{a}}ster{\aa}s, Sweden},
  doi = {10.1109/ICST.2018.00040},
  year = {2018},
  month = apr
}

Overfitting in Semantics-based Automated Program Repair, Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues, Empirical Software Engineering, Mar. 2018.
PDF · DOI · BibTeX
@article{XuanBachOverfitting2018,
  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},
  month = mar,
  doi = {10.1007/s10664-017-9577-2}
}

Using a Probabilistic Model to Predict Bug Fixes, Mauricio Soto and Claire Le Goues, in International Conference on Software Analysis, Evolution, and Reengineering, SANER ’18, 2018, pp. 221–231.
PDF · Code · DOI · BibTeX
@inproceedings{SotoProbabilistic2018,
  title = {Using a Probabilistic Model to Predict Bug Fixes},
  author = {Soto, Mauricio and {Le~Goues}, Claire},
  booktitle = {International Conference on Software Analysis, Evolution, and
                    Reengineering},
  series = {SANER '18},
  month = mar,
  year = {2018},
  location = {Campobasso, Italy},
  pages = {221--231},
  doi = {10.1109/SANER.2018.8330211}
}

Statistical Machine Translation is a Natural Fit for Identifier Renaming in Software Source Code, Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, and Bogdan Vasilescu, in Statistical Modeling of Natural Software Corpora, 2018 AAAI Workshop, 2018, pp. 771–774.
PDF · BibTeX
@inproceedings{LacomisSMTRenaming2018,
  author = {Lacomis, Jeremy and Jaffe, Alan and Schwartz, Edward J. and {Le~Goues}, Claire and Vasilescu, Bogdan},
  title = {Statistical Machine Translation is a Natural Fit for
                    Identifier Renaming in Software Source Code},
  booktitle = {Statistical Modeling of Natural Software Corpora, 2018 {AAAI}
                    Workshop},
  year = {2018},
  month = feb,
  pages = {771--774}
}

Improved Representation and Genetic Operators for Linear Genetic Programming for Automated Program Repair, Vinicius Paulo L. Oliveira, Eduardo F. Souza, Claire Le Goues, and Celso G. Camilo-Junior, Empirical Software Engineering, Jan. 2018.
PDF · DOI · BibTeX
@article{OliveiraRepresentation2018,
  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},
  month = jan,
  year = {2018},
  doi = {10.1007/s10664-017-9562-9}
}

Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices, David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, and Diana Franklin, in Conference on Human Factors in Computing Systems, CHI ’18, 2018, p. 366.
PDF · DOI · BibTeX
@inproceedings{WeintropCoBlox2018,
  title = {Evaluating CoBlox: A Comparative Study of Robotics Programming Environments
             for Adult Novices},
  author = {Weintrop, David and Afzal, Afsoon and Salac, Jean and Francis, Patrick and Li, Boyang and Shepherd, David C. and Franklin, Diana},
  booktitle = {Conference on Human Factors in Computing Systems},
  pages = {366},
  year = {2018},
  series = {CHI '18},
  doi = {10.1145/3173574.3173940},
  location = {Montreal, Canada}
}

Dissimilarity Measures for Clustering Space Mission Architectures, Cody Kinneer and Sebastian J. I. Herzig, in Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, 2018, pp. 392–402.
PDF · Slides (PDF) · DOI · BibTeX
@inproceedings{KinneerDissimilarity2018,
  author = {Kinneer, Cody and Herzig, Sebastian J. I.},
  title = {Dissimilarity Measures for Clustering Space Mission Architectures},
  booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
                 Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
                 Denmark, October 14-19, 2018},
  pages = {392--402},
  year = {2018},
  crossref = {DBLP:conf/models/2018},
  url = {http://doi.acm.org/10.1145/3239372.3239390},
  doi = {10.1145/3239372.3239390},
  timestamp = {Tue, 16 Oct 2018 10:17:16 +0200},
  biburl = {https://dblp.org/rec/bib/conf/models/KinneerH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

IEEE SW
Bridging the Gap: From Research to Practical Advice, Claire Le Goues, Ciera Jaspan, Ipek Ozkaya, Mary Shaw, and Kathryn T. Stolee, IEEE Software, vol. 35, no. 5, pp. 50–57, 2018.
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},
  abbrv = {IEEE SW},
  journal = {{IEEE} Software},
  volume = {35},
  number = {5},
  pages = {50--57},
  year = {2018},
  doi = {10.1109/MS.2018.3571235}
}

Semantic Crash Bucketing, Rijnard van Tonder, John Kotheimer, and Claire Le Goues, in International Conference on Automated Software Engineering, ASE ’18, 2018.
PDF · Slides (PDF) · Code · DOI · BibTeX
@inproceedings{vanTonderSCB2018,
  author = {{van~Tonder}, Rijnard and Kotheimer, John and {Le~Goues}, Claire},
  title = {Semantic Crash Bucketing},
  booktitle = {International Conference on Automated Software Engineering},
  series = {ASE '18},
  year = {2018},
  doi = {10.1145/3238147.3238200}
}

Meaningful Variable Names for Decompiled Code: A Machine Translation Approach, Alan Jaffe, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, and Bogdan Vasilescu, in International Conference on Program Comprehension, ICPC ’18, 2018, pp. 20–30.
PDF · BibTeX
@inproceedings{JaffeDecompilerNames2018,
  author = {Jaffe, Alan and Lacomis, Jeremy and Schwartz, Edward J. and {Le~Goues}, Claire and Vasilescu, Bogdan},
  title = {Meaningful Variable Names for Decompiled Code: {A} Machine
                    Translation Approach},
  booktitle = {International Conference on Program Comprehension},
  year = {2018},
  series = {ICPC '18},
  pages = {20--30}
}

A Turing Test for Genetic Improvement, Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, and Christopher S. Timperley, in Genetic Improvement Workshop, GI ’18, 2018, pp. 17–18.
PDF · BibTeX
@inproceedings{AfzalTuringTest2018,
  author = {Afzal, Afsoon and Lacomis, Jeremy and {Le~Goues}, Claire and Timperley, Christopher S.},
  title = {A Turing Test for Genetic Improvement},
  booktitle = {Genetic Improvement Workshop},
  year = {2018},
  series = {GI '18},
  pages = {17--18}
}

Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search, Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, and Claire Le Goues, in Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’18, 2018, pp. 40–50.
PDF · Slides (PDF) · Code · DOI · BibTeX
@inproceedings{KinneerManaging2018,
  author = {Kinneer, Cody and Coker, Zack and Wang, Jiacheng and Garlan, David and {Le~Goues}, Claire},
  title = {Managing Uncertainty in Self-Adaptive Systems with Plan Reuse
                    and Stochastic Search},
  booktitle = {Software Engineering for Adaptive and Self-Managing Systems},
  series = {SEAMS '18},
  year = {2018},
  pages = {40--50},
  doi = {10.1145/3194133.3194145}
}

Cross-Architecture Lifter Synthesis, Rijnard van Tonder and Claire Le Goues, in International Conference on Software Engineering and Formal Methods, SEFM ’18, 2018, vol. 10886, pp. 155–170.
PDF · Slides (PDF) · Code · DOI · BibTeX
@inproceedings{vanTonderLifterSynthesis2018,
  author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire},
  title = {Cross-Architecture Lifter Synthesis},
  booktitle = {International Conference on Software Engineering and Formal
                    Methods},
  year = {2018},
  pages = {155--170},
  location = {Toulouse, France},
  publisher = {Springer},
  doi = {10.1007/978-3-319-92970-5_10},
  series = {SEFM '18},
  volume = {10886}
}

Genetic Improvement of Software (Dagstuhl Seminar 18052), Justyna Petke, Claire Le Goues, Stephanie Forrest, and William B. Langdon, Dagstuhl Reports, vol. 8, no. 1, pp. 158–182, 2018.
PDF · DOI · BibTeX
@article{DagstuhlGI2018,
  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}
}

Using Recurrent Neural Networks for Decompilation, Deborah S. Katz, Jason Ruchti, and Eric Schulte, in Software Analysis, Evolution, and Reengineering, SANER ’18, 2018, pp. 346–356.
PDF · Slides (PDF) · DOI · BibTeX
@inproceedings{KatzRNN2018,
  author = {Katz, Deborah S. and Ruchti, Jason and Schulte, Eric},
  title = {Using Recurrent Neural Networks for Decompilation},
  booktitle = {Software Analysis, Evolution, and Reengineering},
  year = {2018},
  series = {SANER '18},
  pages = {346--356},
  location = {Campobasso, Italy},
  doi = {10.1109/SANER.2018.8330222}
}

2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair, Christopher Steven Timperley, Susan Stepney, and Claire Le Goues, in International Symposium on Search Based Software Engineering, SSBSE ’17, 2017, vol. 10452, pp. 99–114.
PDF · DOI · BibTeX
@inproceedings{TimperleyMBFL2017,
  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 = {International Symposium on Search Based Software Engineering},
  pages = {99--114},
  doi = {10.1007/978-3-319-66299-2_7},
  month = sep,
  year = {2017},
  location = {Paderborn, Germany},
  series = {SSBSE '17},
  volume = {10452},
  publisher = {Springer}
}

S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples, Xuan-Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser, in Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, ESEC/FSE ’17, 2017, pp. 593–604.
PDF · Website · DOI · BibTeX
@inproceedings{XuanBachS32017,
  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 = {Joint Meeting of the European Software Engineering Conference
                    and the Symposium on the Foundations of Software Engineering},
  series = {ESEC/FSE '17},
  doi = {10.1145/3106237.3106309},
  location = {Paderborn, Germany},
  publisher = {{ACM}},
  website = {https://xuanbachle.github.io/semanticsrepair/},
  pages = {593--604},
  year = {2017},
  month = sep
}

JFIX: Semantics-Based Repair of Java programs via Symbolic PathFinder, Xuan-Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser, in International Symposium on Software Testing and Analysis, ISSTA TOOLS ’17, 2017, pp. 376–379.
PDF · Website · DOI · BibTeX
@inproceedings{XuanBachJFIX2017,
  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 = {International Symposium on Software Testing and Analysis},
  series = {ISSTA TOOLS '17},
  pages = {376--379},
  location = {Santa Barbara, CA, USA},
  doi = {10.1145/3092703.3098225},
  month = jul,
  year = {2017},
  publisher = {ACM},
  website = {https://xuanbachle.github.io/semanticsrepair/}
}

Toward Semantic Foundations for Program Editors, Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, and Matthew Hammer, in Summit on Advances in Programming Languages, SNAPL ’17, 2017, pp. 11:1–11:12.
PDF · DOI · BibTeX
@inproceedings{OmarSemantic2017,
  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 = {Summit on Advances in Programming Languages},
  series = {SNAPL '17},
  doi = {10.4230/LIPIcs.SNAPL.2017.11},
  pages = {11:1--11:12},
  month = may,
  year = {2017},
  location = {Asilomar, CA, USA},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}

Analyzing the Impact of Social Attributes on Commit Integration Success, Mauricio Soto, Zack Coker, and Claire Le Goues, in International Conference on Mining Software Repositories, MSR Challenge ’17, 2017, pp. 483–486.
PDF · Code · Data · Results · DOI · BibTeX
@inproceedings{SotoMSRChallenge2017,
  author = {Soto, Mauricio and Coker, Zack and {Le~Goues}, Claire},
  title = {Analyzing the Impact of Social Attributes on Commit
                    Integration Success},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR Challenge ’17},
  year = {2017},
  pages = {483--486},
  doi = {10.1109/MSR.2017.34}
}

Behavior Metrics for Prioritizing Investigations of Exceptions, Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David Shepherd, and Lori Pollock, in International Conference on Software Maintenance and Evolution, ICSME ’17, 2017, pp. 554–563.
PDF · Slides (PowerPoint) · DOI · BibTeX
@inproceedings{CokerBehavior2017,
  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 = {International Conference on Software Maintenance and
                    Evolution},
  series = {ICSME '17},
  year = {2017},
  pages = {554--563},
  doi = {10.1109/ICSME.2017.62}
}

Guest Editorial for Special Section on Research in Search-Based Software Engineering, Claire Le Goues and Shin Yoo, Empirical Software Engineering, vol. 22, no. 2, pp. 849–851, 2017.
PDF · DOI · BibTeX
@article{LeGouesGuest2017,
  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},
  doi = {10.1007/s10664-017-9504-6}
}

Clarifications on the Construction and Use of the ManyBugs Benchmark (Comment Paper), Claire Le Goues, Yuriy Brun, Stephanie Forrest, and Westley Weimer, IEEE Transactions on Software Engineering, vol. 43, no. 11, pp. 1089–1090, 2017.
PDF · DOI · BibTeX
@article{LeGouesClarifications2017,
  author = {{Le~Goues}, Claire and Brun, Yuriy and Forrest, Stephanie and Weimer, Westley},
  journal = {{IEEE} Transactions on Software Engineering},
  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}
}

Automated Program Repair (Dagstuhl Seminar 17022), Sunghun Kim, Claire Le Goues, Michael Pradel, and Abhik Roychoudhury, Dagstuhl Reports, vol. 7, no. 1, pp. 19–31, 2017.
PDF · DOI · BibTeX
@article{DagstuhlAPR2017,
  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}
}

Understanding Intended Behavior using Models of Low-Level Signals, Deborah S. Katz, in International Symposium on Software Testing and Analysis, ISSTA-DS ’17, 2017, pp. 424–427.
PDF · DOI · BibTeX
@inproceedings{KatzUnderstanding2017,
  author = {Katz, Deborah S.},
  title = {Understanding Intended Behavior using Models of Low-Level Signals},
  booktitle = {International Symposium on Software Testing and Analysis},
  series = {ISSTA-DS '17},
  year = {2017},
  pages = {424--427},
  doi = {10.1145/3092703.3098237}
}

2016

Improved Crossover Operators for Genetic Programming for Program Repair, Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, and Celso G. Camilo-Junior, in International Symposium on Search Based Software Engineering, Lecture Notes in Computer Science, 2016, vol. 9962, pp. 112–127.
PDF · DOI · BibTeX
@inproceedings{OliveiraCrossover2016,
  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 = {International Symposium on Search Based Software Engineering},
  series = {Lecture Notes in Computer Science},
  month = oct,
  doi = {10.1007/978-3-319-47106-8_8},
  pages = {112--127},
  year = {2016},
  location = {Raleigh, NC, USA},
  volume = {9962}
}

Enhancing Automated Program Repair with Deductive Verification, Xuan-Bach D. Le, Quang Loc Le, David Lo, and Claire Le Goues, in International Conference on Software Maintenance and Evolution, ICSME ERA ’16, 2016, pp. 428–432.
PDF · DOI · BibTeX
@inproceedings{XuanBachDeductive2016,
  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 = {International Conference on Software Maintenance and Evolution},
  series = {ICSME ERA '16},
  doi = {10.1109/ICSME.2016.66},
  pages = {428--432},
  month = oct,
  year = {2016},
  location = {Raleigh, NC, USA},
  publisher = {{IEEE} Computer Society}
}

Empirical Study on Synthesis Engines for Semantics-based Program Repair, Xuan-Bach D. Le, David Lo, and Claire Le Goues, in International Conference on Software Maintenance and Evolution, ICSME ERA ’16, 2016, pp. 423–427.
PDF · DOI · BibTeX
@inproceedings{XuanBachSynthesisEngines2016,
  author = {Le, Xuan-Bach D. and Lo, David and {Le Goues}, Claire},
  title = {Empirical Study on Synthesis Engines for Semantics-based
                    Program Repair},
  booktitle = {International Conference on Software Maintenance and
                    Evolution},
  series = {ICSME ERA '16},
  doi = {10.1109/ICSME.2016.68},
  pages = {423--427},
  month = oct,
  year = {2016},
  location = {Raleigh, NC, USA},
  publisher = {{IEEE} Computer Society}
}

A Learning-to-Rank Based Fault Localization Approach using Likely Invariants, Tien-Duy B. Le, David Lo, Claire Le Goues, and Lars Grunske, in International Symposium on Software Testing and Analysis, ISSTA ’16, 2016, pp. 177–188.
PDF · DOI · BibTeX
@inproceedings{LeLikelyInvariants2016,
  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 = {International Symposium on Software Testing and Analysis},
  series = {ISSTA '16},
  publisher = {ACM},
  month = jul,
  year = {2016},
  location = {Saarbr{\"{u}}cken, Germany},
  pages = {177--188},
  numpages = {12},
  doi = {10.1145/2931037.2931049}
}

Trusted Software Repair for System Resiliency, Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, and Patrick Hurley, in International Conference on Dependable Systems and Networks Workshops, DSN Workshops ’16, 2016, pp. 238–241.
PDF · DOI · BibTeX
@inproceedings{WeimerTrustedRepair2016,
  author = {Weimer, Westley and Forrest, Stephanie and Kim, Miryung and {Le~Goues}, Claire and Hurley, Patrick},
  title = {Trusted Software Repair for System Resiliency},
  booktitle = {International Conference on Dependable Systems and Networks
                    Workshops},
  series = {DSN Workshops '16},
  pages = {238--241},
  month = jul,
  year = {2016},
  location = {Toulouse, France},
  publisher = {{IEEE} Computer Society},
  doi = {10.1109/DSN-W.2016.64}
}

Learning to Rank for Bug Report Assignee Recommendation, Yuan Tian, Dinusha Wijedasa, David Lo, and Claire Le Goues, in International Conference on Program Comprehension, ICPC ’16, 2016, pp. 1–10.
PDF · DOI · BibTeX
@inproceedings{TianRecommendation2016,
  author = {Tian, Yuan and Wijedasa, Dinusha and Lo, David and {Le~Goues}, Claire},
  booktitle = {International Conference on Program Comprehension},
  series = {ICPC '16},
  title = {Learning to Rank for Bug Report Assignee Recommendation},
  month = may,
  year = {2016},
  location = {Austin, TX, USA},
  publisher = {{IEEE} Computer Society},
  pages = {1--10},
  doi = {10.1109/ICPC.2016.7503715}
}

Defending Against the Attack of the Micro-Clones, Rijnard van Tonder and Claire Le Goues, in International Conference on Program Comprehension, ICPC Short ’16, 2016, pp. 1–4.
PDF · DOI · BibTeX
@inproceedings{vanTonderMicroClones2016,
  author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire},
  booktitle = {International Conference on Program Comprehension},
  series = {ICPC Short '16},
  title = {Defending Against the Attack of the Micro-Clones},
  month = may,
  year = {2016},
  location = {Austin, TX, USA},
  pages = {1--4},
  publisher = {{IEEE} Computer Society},
  doi = {10.1109/ICPC.2016.7503736}
}

Examining Programmer Practices for Locally Handling Exceptions, Mary Beth Kery, Claire Le Goues, and Brad A. Myers, in International Conference on Mining Software Repositories, MSR Challenge ’16, 2016, pp. 484–487.
PDF · DOI · BibTeX
@inproceedings{KerryExceptions2016,
  author = {Kery, Mary Beth and {Le~Goues}, Claire and Myers, Brad A.},
  title = {Examining Programmer Practices for Locally Handling
                    Exceptions},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR Challenge '16},
  month = may,
  year = {2016},
  pages = {484--487},
  numpages = {4},
  doi = {10.1145/2901739.2903497},
  location = {Austin, TX, USA},
  publisher = {{ACM}}
}

A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions, Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, and David Lo, in International Conference on Mining Software Repositories, MSR Challenge ’16, 2016, pp. 512–515.
PDF · DOI · BibTeX
@inproceedings{SotoMSRChallenge2016,
  author = {Soto, Mauricio and Thung, Ferdian and Wong, Chu-Pan and {Le~Goues}, Claire and Lo, David},
  title = {A Deeper Look into Bug Fixes: {P}atterns, Replacements,
                    Deletions, and Additions},
  booktitle = {International Conference on Mining Software Repositories},
  series = {MSR Challenge '16},
  month = may,
  year = {2016},
  pages = {512--515},
  numpages = {4},
  doi = {10.1145/2901739.2903495},
  location = {Austin, TX, USA},
  publisher = {{ACM}}
}

History Driven Program Repair, Xuan-Bach D. Le, David Lo, and Claire Le Goues, in International Conference on Software Analysis, Evolution, and Reengineering, SANER ’16, 2016, vol. 1, pp. 213–224.
PDF · DOI · BibTeX
@inproceedings{XuanBachHistory2016,
  author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire},
  booktitle = {International Conference on Software Analysis, Evolution, and
                    Reengineering},
  title = {History Driven Program Repair},
  series = {SANER '16},
  year = {2016},
  volume = {1},
  pages = {213-224},
  doi = {10.1109/SANER.2016.76},
  location = {Osaka, Japan},
  month = mar,
  publisher = {{IEEE} Computer Society}
}

2015

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs, Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, and Westley Weimer, IEEE Transactions on Software Engineering, vol. 41, no. 12, pp. 1236–1256, Dec. 2015.
PDF · Website · DOI · BibTeX
@article{LeGouesManyBugs2015,
  author = {{Le~Goues}, Claire and Holtschulte, Neal and Smith, Edward K. and Brun, Yuriy and Devanbu, Premkumar and Forrest, Stephanie and Weimer, Westley},
  title = {The {ManyBugs} and {IntroClass} Benchmarks for Automated
                    Repair of {C} Programs},
  journal = {{IEEE} Transactions on Software Engineering},
  year = {2015},
  volume = {41},
  number = {12},
  pages = {1236--1256},
  month = dec,
  doi = {10.1109/TSE.2015.2454513},
  website = {https://repairbenchmarks.cs.umass.edu}
}

Is the Cure Worse than the Disease? Overfitting in Automated Program Repair, Edward K. Smith, Earl Barr, Claire Le Goues, and Yuriy Brun, in Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, ESEC/FSE ’15, 2015, pp. 532–543.
PDF · DOI · BibTeX
@inproceedings{SmithOverfitting2015,
  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 = {Joint Meeting of the European Software Engineering Conference
                    and the Symposium on the Foundations of Software Engineering},
  series = {ESEC/FSE '15},
  month = sep,
  year = {2015},
  pages = {532--543},
  location = {Bergamo, Italy},
  publisher = {ACM},
  doi = {10.1145/2786805.2786825}
}

Evaluating the Flexibility of the Java Sandbox, Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, and Joshua Sunshine, in Annual Computer Security Applications Conference, ACSAC ’15, 2015, pp. 1–10.
PDF · Slides (PowerPoint) · Code · DOI · BibTeX
@inproceedings{CokerEvaluating2015,
  author = {Coker, Zack and Maass, Michael and Ding, Tianyuan and {Le~Goues}, Claire and Sunshine, Joshua},
  title = {Evaluating the Flexibility of the Java Sandbox},
  booktitle = {Annual Computer Security Applications Conference},
  series = {ACSAC '15},
  year = {2015},
  pages = {1--10},
  doi = {10.1145/2818000.2818003}
}

SASS: Self-adaptation Using Stochastic Search, Zack Coker, David Garlan, and Claire Le Goues, in Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’15, 2015, pp. 168–174.
PDF · Slides (PowerPoint) · Code · DOI · BibTeX
@inproceedings{CokerSASS2015,
  author = {Coker, Zack and Garlan, David and {Le~Goues}, Claire},
  title = {{SASS}: {S}elf-adaptation Using Stochastic Search},
  booktitle = {Software Engineering for Adaptive and Self-Managing Systems},
  series = {SEAMS '15},
  year = {2015},
  doi = {10.1109/SEAMS.2015.16},
  pages = {168--174}
}

Repairing Programs with Semantic Code Search, Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun, in Automated Software Engineering, ASE ’15, 2015, pp. 532–543.
PDF · Slides (PDF) · Code · DOI · BibTeX
@inproceedings{KeSearchRepair2015,
  author = {Ke, Yalin and Stolee, Kathryn T. and {Le~Goues}, Claire and Brun, Yuriy},
  title = {Repairing Programs with Semantic Code Search},
  booktitle = {Automated Software Engineering},
  year = {2015},
  series = {ASE '15},
  pages = {532--543},
  doi = {10.1109/ASE.2015.60}
}

2014

Proceedings of the International Symposium on Search-Based Software Engineering, Claire Le Goues and Shin Yoo, Eds., , vol. 8636. Springer, 2014.
PDF · DOI · BibTeX
@proceedings{SSBSE2014,
  editor = {{Le~Goues}, Claire and Yoo, Shin},
  title = {Proceedings of the International Symposium on Search-Based
                    Software Engineering},
  series = {SSBSE '14},
  volume = {8636},
  publisher = {Springer},
  year = {2014},
  doi = {10.1007/978-3-319-09940-8},
  isbn = {978-3-319-09939-2}
}