Publications

120 publications

Showing 120 of 120

2026

FrameShift: Resizing Fuzzer Inputs Without Breaking Them
Harrison Green, Claire Le Goues, Fraser Brown. Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE), 2026.
PDF·Tool·DOI·
When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
Wenqiang Luo, Jacky W. Keung, Boyang Yang, He Ye, Claire Le Goues, Tegawendé F. Bissyandé, Haoye Tian, Bach Le. ACM Trans. Softw. Eng. Methodol., 2026.
PDF·Code·DOI·
MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-Tuning
Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin. ACM Trans. Softw. Eng. Methodol., 2026.
PDF·DOI·
Idioms: A Simple and Effective Framework for Turbo-Charging Local Neural Decompilation with Well-Defined Types
Luke Dramko, Claire Le Goues, Edward J. Schwartz. Proceedings of the Network and Distributed System Security Symposium (NDSS), 2026.
PDF·Code·Data·

2025

Interpretable Vulnerability Detection Reports
Cláudia Mamede, José Campos, Claire Le Goues, Rui Abreu. Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025.
PDF·DOI·
AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
He Ye, Aidan Z. H. Yang, Chang Hu, Yanlin Wang, Tao Zhang, Claire Le Goues. Proc. ACM Softw. Eng. 2.ISSTA, 2025.
PDF·DOI·
A Human Study of Automatically Generated Decompiler Annotations
Yuwei Yang, Skyler Grandel, Jeremy Lacomis, Edward J. Schwartz, Bogdan Vasilescu, Claire Le Goues, Kevin Leach. Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2025.
PDF·DOI·
Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement
Luke Dramko, Deniz Bölöni-Turgut, Claire Le Goues, Edward J. Schwartz. Proceedings of the 22nd International Conference on the Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), 2025.
PDF·Code·DOI·
LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes
Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou, Claire Le Goues, Xiapu Luo. Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE), 2025.
PDF·DOI·
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues. Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE), 2025.
PDF·Code·DOI·
The Evolution of Automated Software Repair
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer. IEEE Trans. Software Eng., 2025.
PDF·DOI·
Vulnerability Repair via Concolic Execution and Code Mutations
Ridwan Shariffdeen, Christopher Steven Timperley, Yannic Noller, Claire Le Goues, Abhik Roychoudhury. ACM Trans. Softw. Eng. Methodol., 2025.
PDF·Code·Data·DOI·
Are Large Language Models Memorizing Bug Benchmarks?
Daniel Ramos, Cláudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues. IEEE/ACM International Workshop on Large Language Models for Code, LLM4Code@ICSE 2025, 2025.
PDF·DOI·
Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
Kush Jain, Kiran Kate, Jason Tsay, Claire Le Goues, Martin Hirzel. IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2025, 2025.
PDF·Code·DOI·
ROSpec: A Domain-Specific Language for ROS-based Robot Software
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher Steven Timperley. Proceedings of the ACM on Programming Languages, OOPSLA, 2025.
DOI·

2024

Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Hadeel Eladawy, Claire Le Goues, Yuriy Brun. ICSE, 2024.
PDF·Video·Data·DOI·
BatFix: Repairing language model-based transpilation
Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues. ACM Transactions on Software Engineering and Methodology, 2024.
DOI·
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
Claire Le Goues, Sebastian G. Elbaum, David J. Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu. CoRR, 2024.
PDF·DOI·
What Is a `Bug'?
David Gray Widder, Claire Le Goues. Commun. ACM, 2024.
PDF·DOI·
Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems
Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman. Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Supplemental Volume, 2024.
PDF·DOI·
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software
Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley. International Conference on Robotics and Automation, 2024.
PDF·
Large language models for test-free fault localization
Aidan ZH Yang, Claire Le Goues, Ruben Martins, Vincent Hellendoorn. Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024.
PDF·Code·DOI·
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce. Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE), 2024.
PDF·
A Lightweight Polyglot Code Transformation Language
Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, Murali Krishna Ramanathan. Proceedings of the ACM on Programming Languages, 2024.
DOI·
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024.
A Taxonomy of C Decompiler Fidelity Issues
Luke Dramko, Jeremy Lacomis, Edward J Schwartz, Bogdan Vasilescu, Claire Le Goues. 33rd USENIX Security Symposium, 2024.
PDF·Data·

2023

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce. 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), 2023.
PDF·DOI·
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, Claire Le Goues. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
PDF·Code·DOI·
CAT-LM Training Language Models on Aligned Code And Tests
Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
PDF·Data·DOI·
Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023.
PDF·Data·DOI·
Patching Locking Bugs Statically with Crayons
Juan Alfredo Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wąsowski. ACM Trans. Softw. Eng. Methodol., 2023.
PDF·Code·DOI·
MELT: Mining Effective Lightweight Transformations from Pull Requests
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues. IEEE/ACM International Conference on Automated Software Engineering, 2023.
PDF·Code·Data·DOI·
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, Claire Le Goues. ACM Trans. Softw. Eng. Methodol., 2023.
PDF·DOI·

2022

Registered Report: First, Fuzz the Mutants
Alex Groce, Goutamkumar Tulajappa Kalburgi, Kush Jain, Claire Le Goues, Rahul Gopinath. Proceedings of the 1st International Fuzzing Workshop, 2022.
PDF·
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues. 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2022.
PDF·DOI·
Quality of Automated Program Repair on Real-World Defects
Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues. TSE, 2022.
PDF·Code·DOI·
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems
Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley. IEEE Trans. Software Eng., 2022.
PDF·Data·DOI·
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems
Christopher S. Timperley, Tobias Dürschmid, Bradley Schmerl, David Garlan, Claire Le Goues. Proceedings of the 19th IEEE International Conference on Software Architecture., 2022.
Learning to Superoptimize Real-World Programs
Alexander G. Shypula, Pengcheng Yin, Jeremy Lacomis, Claire Le Goues, Edward J. Schwartz, Graham Neubig. Deep Learning for Code Workshop, 2022.
PDF·
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues. International Conference on Software Engineering, 2022.
PDF·Video·Code·
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, Westley Weimer. IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022.
PDF·DOI·
Making no-fuss compiler fuzzing effective
Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues. CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, 2022.
PDF·Code·DOI·
Augmenting Decompiler Output with Learned Variable Names and Types
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu. USENIX Security Symposium, 2022.
PDF·Code·Website·

2021

An Empirical Study of OSS-Fuzz Bugs
Zhen Yu Ding, Claire Le Goues. International Conference on Mining Software Repositories, 2021.
PDF·Data·
Simulation for Robotics Test Automation: Developer Perspectives
Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley. International Conference on Software Testing, Validation and Verification, 2021.
PDF·Data·
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, Claire Le Goues. Proceedings of the IEEE/ACM International Conference on Software Engineering, 2021.
Video·DOI·
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues. ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
PDF·DOI·
Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems
Cody Kinneer, David Garlan, Claire Le Goues. ACM Trans. Auton. Adapt. Syst., 2021.
PDF·DOI·
The Importance of Safety Invariants in Robustness Testing Autonomy Systems
Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman. 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021 - Supplemental Volume, 2021.
PDF·DOI·
Understanding and improving artifact sharing in software engineering research
Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton. Empir. Softw. Eng., 2021.
PDF·DOI·
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications
Zack Coker, Joshua Sunshine, Claire Le Goues. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2021.
PDF·Video·DOI·
Automatic Program Repair
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra. IEEE Softw., 2021.
PDF·DOI·
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Afsoon Afzal, Manish Motwani, Kathryn Stolee, Yuriy Brun, Claire Le Goues. TSE, 2021.
PDF·Code·Data·Results·DOI·

2020

A Study on Challenges of Testing Robotic Systems
Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley. International Conference on Software Testing, Validation and Verification, 2020.
PDF·Data·
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem
Sophia Kolak, Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley. IEEE International Conference on Software Maintenance and Evolution, 2020.
PDF·Video·Data·
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness
Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues. International Conference on Robotics and Automation, 2020.
PDF·
Empirical Study of Restarted and Flaky Builds on Travis CI
Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu. IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 2020.
PDF·Video·Code·Data·DOI·
Robustness Inside Out Testing
Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric Sample, Philip Koopman, Michael Wagner, Claire Le Goues. Dependable Systems and Networks – Industry Track, 2020.
PDF·Video·DOI·
Building Reusable Repertoires for Stochastic Self-* Planners
Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 2020.
PDF·Video·DOI·
Tailoring Programs for Static Analysis via Program Transformation
Rijnard van Tonder, Claire Le Goues. Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE), 2020.
PDF·Video·DOI·
35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020
. 2020.
DOI·

2019

Model-Based Adaptation for Robotics Software
J. Aldrich, D. Garlan, C. Kaestner, C. Le Goues, A. Mohseni-Kabir, I. Ruchkin, S. Samuel, B. Schmerl, C. S. Timperley, M. Veloso, I. Voysey, J. Biswas, A. Guha, J. Holtz, J. Camara, P. Jamshidi. IEEE Software, 2019.
DOI·
A Panel Data Set of Cryptocurrency Development Activity on GitHub
Rijnard van Tonder, Asher Trockman, Claire Le Goues. 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019.
PDF·Code·Data·DOI·
Towards s/engineer/bot: Principles for Program Repair Bots
Rijnard van Tonder, Claire Le Goues. 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 2019.
PDF·Tool·DOI·
Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.
PDF·DOI·
Automated Program Repair
Claire Le Goues, Michael Pradel, Abhik Roychoudhury. Commun. ACM, 2019.
PDF·DOI·
A Qualitative Study on Framework Debugging
Zack Coker, David Gray Widder, Claire Le Goues, Chris Bogart, Josh Sunshine. IEEE International Conference on Software Maintenance and Evolution, 2019.
DIRE: A Neural Approach to Decompiled Identifier Naming
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu. International Conference on Automated Software Engineering, 2019.
PDF·Data·
Lightweight Multi-language Syntax Transformation with Parser Parser Combinators
Rijnard van Tonder, Claire Le Goues. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019.
PDF·Code·Tool·Website·DOI·
DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems
Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan. Proceedings of the 14th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2019.
PDF·DOI·
Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair
Zhen Yu Ding, Yiwei Lyu, Christopher S. Timperley, Claire Le Goues. Genetic Improvement Workshop, 2019.
PDF·DOI·

2018

A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints
Eduardo Faria de Souza, Claire Le Goues, Celso Goncalves Camilo-Junior. Proceedings of the Genetic and Evolutionary Computation Conference, 2018.
PDF·
Effectiveness of Anonymization in Double-Blind Review
Claire Le Goues, Yuriy Brun, Sven Apel, Emery Berger, Sarfraz Khurshid, Yannis Smaragdakis. Commun. ACM, 2018.
PDF·DOI·
Static Automated Program Repair for Heap Properties
Rijnard van Tonder, Claire Le Goues. International Conference on Software Engineering, 2018.
Robustness Testing of Autonomy Software
Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman. International Conference on Software Engineering: Software Engineering in Practice, 2018.
PDF·DOI·
Poster: BugZoo: A Platform for Studying Software Bugs
Christopher Steven Timperley, Susan Stepney, Claire Le Goues. International Conference on Software Engineering: Companion Proceedings, 2018.
PDF·Poster·Tool·DOI·
Common Statement Kind Changes to Inform Automatic Program Repair
Mauricio Soto, Claire Le Goues. International Conference on Mining Software Repositories, 2018.
PDF·Code·DOI·
A Study on the Use of IDE Features for Debugging
Afsoon Afzal, Claire Le Goues. International Conference on Mining Software Repositories, 2018.
PDF·DOI·
Overfitting in Semantics-Based Automated Program Repair
Xuan-Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues. International Conference on Software Engineering, 2018.
PDF·DOI·
Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?
Christopher Steven Timperley, Afsoon Afzal, Deborah Katz, Jam Marcos Hernandez, Claire Le Goues. International Conference on Software Testing, Validation and Verification, 2018.
PDF·Data·DOI·
Overfitting in Semantics-based Automated Program Repair
Xuan-Bach D. Le, Ferdian Thung, David Lo, Claire Le Goues. Empirical Software Engineering, 2018.
PDF·DOI·
Using a Probabilistic Model to Predict Bug Fixes
Mauricio Soto, Claire Le Goues. International Conference on Software Analysis, Evolution, and Reengineering, 2018.
PDF·Code·DOI·
Statistical Machine Translation is a Natural Fit for Identifier Renaming in Software Source Code
Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu. Statistical Modeling of Natural Software Corpora, 2018 AAAI Workshop, 2018.
PDF·
Improved Representation and Genetic Operators for Linear Genetic Programming for Automated Program Repair
Vinicius Paulo L. Oliveira, Eduardo F. Souza, Claire Le Goues, Celso G. Camilo-Junior. Empirical Software Engineering, 2018.
PDF·DOI·
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, Diana Franklin. Conference on Human Factors in Computing Systems, 2018.
PDF·DOI·
Dissimilarity Measures for Clustering Space Mission Architectures
Cody Kinneer, Sebastian J. I. Herzig. Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, 2018.
PDF·Slides (PDF)·DOI·
Bridging the Gap: From Research to Practical Advice
Claire Le Goues, Ciera Jaspan, Ipek Ozkaya, Mary Shaw, Kathryn T. Stolee. IEEE Software, 2018.
PDF·DOI·
Semantic Crash Bucketing
Rijnard van Tonder, John Kotheimer, Claire Le Goues. International Conference on Automated Software Engineering, 2018.
Meaningful Variable Names for Decompiled Code: A Machine Translation Approach
Alan Jaffe, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu. International Conference on Program Comprehension, 2018.
PDF·
A Turing Test for Genetic Improvement
Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, Christopher S. Timperley. Genetic Improvement Workshop, 2018.
PDF·
Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search
Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues. Software Engineering for Adaptive and Self-Managing Systems, 2018.
Cross-Architecture Lifter Synthesis
Rijnard van Tonder, Claire Le Goues. International Conference on Software Engineering and Formal Methods, 2018.
Genetic Improvement of Software (Dagstuhl Seminar 18052)
Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon. Dagstuhl Reports, 2018.
PDF·DOI·
Using Recurrent Neural Networks for Decompilation
Deborah S. Katz, Jason Ruchti, Eric Schulte. Software Analysis, Evolution, and Reengineering, 2018.
PDF·Slides (PDF)·DOI·

2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair
Christopher Steven Timperley, Susan Stepney, Claire Le Goues. International Symposium on Search Based Software Engineering, 2017.
PDF·DOI·
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
Xuan-Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, Willem Visser. Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, 2017.
PDF·Tool·Website·DOI·
JFIX: Semantics-Based Repair of Java programs via Symbolic PathFinder
Xuan-Bach D. Le, Duc Hiep Chu, David Lo, Claire Le Goues, Willem Visser. International Symposium on Software Testing and Analysis, 2017.
PDF·Tool·Website·DOI·
Toward Semantic Foundations for Program Editors
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew Hammer. Summit on Advances in Programming Languages, 2017.
PDF·DOI·
Analyzing the Impact of Social Attributes on Commit Integration Success
Mauricio Soto, Zack Coker, Claire Le Goues. International Conference on Mining Software Repositories, 2017.
PDF·Code·Data·Results·DOI·
Behavior Metrics for Prioritizing Investigations of Exceptions
Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David Shepherd, Lori Pollock. International Conference on Software Maintenance and Evolution, 2017.
Guest Editorial for Special Section on Research in Search-Based Software Engineering
Claire Le Goues, Shin Yoo. Empirical Software Engineering, 2017.
PDF·DOI·
Clarifications on the Construction and Use of the ManyBugs Benchmark (Comment Paper)
Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer. IEEE Transactions on Software Engineering, 2017.
PDF·DOI·
Automated Program Repair (Dagstuhl Seminar 17022)
Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury. Dagstuhl Reports, 2017.
PDF·DOI·
Understanding Intended Behavior using Models of Low-Level Signals
Deborah S. Katz. International Symposium on Software Testing and Analysis, 2017.
PDF·DOI·

2016

Improved Crossover Operators for Genetic Programming for Program Repair
Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior. International Symposium on Search Based Software Engineering, 2016.
PDF·DOI·
Enhancing Automated Program Repair with Deductive Verification
Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues. International Conference on Software Maintenance and Evolution, 2016.
PDF·DOI·
Empirical Study on Synthesis Engines for Semantics-based Program Repair
Xuan-Bach D. Le, David Lo, Claire Le Goues. International Conference on Software Maintenance and Evolution, 2016.
PDF·Code·DOI·
A Learning-to-Rank Based Fault Localization Approach using Likely Invariants
Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske. International Symposium on Software Testing and Analysis, 2016.
PDF·DOI·
Trusted Software Repair for System Resiliency
Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley. International Conference on Dependable Systems and Networks Workshops, 2016.
PDF·DOI·
Learning to Rank for Bug Report Assignee Recommendation
Yuan Tian, Dinusha Wijedasa, David Lo, Claire Le Goues. International Conference on Program Comprehension, 2016.
PDF·DOI·
Defending Against the Attack of the Micro-Clones
Rijnard van Tonder, Claire Le Goues. International Conference on Program Comprehension, 2016.
PDF·DOI·
Examining Programmer Practices for Locally Handling Exceptions
Mary Beth Kery, Claire Le Goues, Brad A. Myers. International Conference on Mining Software Repositories, 2016.
PDF·DOI·
A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions
Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo. International Conference on Mining Software Repositories, 2016.
PDF·DOI·
History Driven Program Repair
Xuan-Bach D. Le, David Lo, Claire Le Goues. International Conference on Software Analysis, Evolution, and Reengineering, 2016.
PDF·Data·DOI·

2015

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, Westley Weimer. IEEE Transactions on Software Engineering, 2015.
PDF·Website·DOI·
Is the Cure Worse than the Disease? Overfitting in Automated Program Repair
Edward K. Smith, Earl Barr, Claire Le Goues, Yuriy Brun. Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, 2015.
PDF·DOI·
Evaluating the Flexibility of the Java Sandbox
Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine. Annual Computer Security Applications Conference, 2015.
SASS: Self-adaptation Using Stochastic Search
Zack Coker, David Garlan, Claire Le Goues. Software Engineering for Adaptive and Self-Managing Systems, 2015.
Repairing Programs with Semantic Code Search
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun. Automated Software Engineering, 2015.

2014

Proceedings of the International Symposium on Search-Based Software Engineering
. SSBSE '14, 2014.
PDF·DOI·