Research

Here we loosely organize our research efforts by subject. If you can’t find something or think we’ve forgotten anything, make sure you also consult the publications list, and consider contacting us directly or filing an issue with this page at https://github.com/squaresLab/squaresLab.github.io.

We try to be reasonably thorough, but note that this page does not attempt to reference every paper squaresLab has ever published; see publications for a more complete list.

Program Transformation and Repair

The error repair process in software systems is, historically, a resource-consuming task that relies heavily on manual developer effort. We have created and analyzed automatic program repair approaches to improve their performance and quality of created patches. We also develop approaches to automate other types of transformation, including API updates and migration. This work has produced frameworks and toolsets for automatic program transformation and repair, as well as datasets for its evaluation.

We have developed a number of frameworks and toolsets for automatic program transformation and repair.

  • PolyglotPiranha: an expressive and polyglot code transformation toolset designed for automating large-scale refactorings
  • Comby: a lightweight, declarative way to change code across many languages. (Watch the StrangeLoop talk!)
  • Darjeeling: a framework for language-agnostic search-based/heuristic program repair. If you want something GenProg-like but significantly more modern, this is your cup of tea.
  • GenProg4Java: a framework for heuristic program repair for Java programs; a generally faithful reproduction of the original GenProg4C technique (below).
  • GenProg: stochastic search methods like genetic programming, combined with lightweight program analyses, to find patches for bugs in extant software. The GenProg website covers most GenProg-related research and prior results. If you want to run new experiments, you’ll want to start with Darjeeling and/or BugZoo. This stuff is old.

Related Publications:

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}
}

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}
}

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}
}

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}
}

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/}
}

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}
}

We have developed frameworks and datasets for evaluating program repair, and conducted empirical evaluations of repair along a number of axes. Datasets include:

  • PreciseBugCollector: second place at ASE Challenge 2023! An extremely large dataset of security vulnerabilities, with associated metadata.
  • ArduBugs: a dataset of robostics-specific bugs in the Ardu* ecosystem.
  • BugZoo: an active effort to support controlled experiments on buggy C programs, particularly for program repair; it supports the reproduction, in a modern environment, of a number of scenarios from existing datasets, including ManyBugs.
  • ManyBugs and IntroClass: benchmarks and results intended to support evaluations of program repair research. We recommend BugZoo for new ManyBugs experiments.

Related Publications:

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}
}

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
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

Transformation has many uses in software engineering developer tooling, and many problems are amenable to a repair-like approach. We have explored transformation for API migration (SOAR) and API upgrades (MELT), transpilation (BatFix), and clone mitigation. We have also improved static analysis via program transformation and used it to triage fuzz tests. Beyond triage, we have an ongoing body of work for general-purpose transformation in the context of fuzz and mutation testing:

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}
}

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
}

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}
}

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}
}

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}
}

GenProg combines stochastic search methods like genetic programming with lightweight program analyses to find patches for real bugs in extant software. The GenProg website covers most GenProg-related research, with links to the various GitHub repositories, results, and reproduction instructions, as well as a historical list of largely GenProg-specific papers (through about 2016).

Papers analyzing or evaluating specific components of GP-based repair are (additionally) listed under search-based software engineering.

For completeness, the following publications are those that either (a) overview repair generally (CACM articles and the like) or (b) (the majority) propose new or substantially augmented program repair techniques. (This omits specific studies of SBSE operators like crossover; see the SBSE section).

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}
}

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}
}

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}
}

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}
}

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 = {}
}

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}
}

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}
}

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}
}

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}
}

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/}
}

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}
}

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}
}

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}
}

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}
}

Search-based software engineering

Our interest in applying AI to software engineering started with search-based techniques. Much of our work in this space has been repair-specific, though we have also looked at the application of GP and related search-based approaches for self-adaptive systems and knowledge reuse at the model level as well. Relevant publications (for both code and models/plans, excluding those that propose new APR approaches, with incidental contributions in SBSE algorithm design) include:

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

SE for Robotics

Robotics and autonomous systems are becoming increasingly prevalent. These systems present new quality assurance challenges, which we both study and attempt to address via new testing and analysis techniques.

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}
}

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}
}

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}
}

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}
}

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
}

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}
}

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}
}

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}
}

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
}

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}
}

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}
}

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}
}

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
}

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}
}

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}
}

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}
}

Decompilation and reverse engineering

Our work on improving developer experiences by integrating program analysis with AI includes a line of research on reverse engineering, specifically to improve decompilation and decompiler output.

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

AI and LLMs

Our work often leverages advances in AI to develop new development tools and QA approaches to improve testing and program transformation. (This list excludes SBSE-specific work.)

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
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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 = {}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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/}
}

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}
}

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}
}

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}
}

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}
}

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}
}

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}
}

Understanding Develop[ment/er] Practices

To produce tools that are useful to developers, it is important to understand current software development practices. We study developers and the software and artifacts they produce to understand both the current state of software quality and which factors affect software quality.

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}
}

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}
}

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
}

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}
}

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}
}

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}
}

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}
}

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
}

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}
}

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}
}

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}}
}

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}
}