A genetic programming approach to automated software repair. - Stephanie Forrest; ThanhVu Nguyen; Westley Weimer; Claire Le Goues (GECCO, 2009)

Automatically finding patches using genetic programming. - Westley Weimer; ThanhVu Nguyen; Claire Le Goues; Stephanie Forrest (ICSE, 2009)

Using Execution Paths to Evolve Software Patches. - ThanhVu Nguyen; Westley Weimer; Claire Le Goues; Stephanie Forrest (ICST Workshops, 2009)

Specification Mining with Few False Positives. - Claire Le Goues; Westley Weimer (TACAS, 2009)

Designing better fitness functions for automated program repair. - Ethan Fast; Claire Le Goues; Stephanie Forrest; Westley Weimer (GECCO, 2010)

The case for software evolution. - Claire Le Goues; Stephanie Forrest; Westley Weimer (FoSER, 2010)

Automatic program repair with evolutionary computation. - Westley Weimer; Stephanie Forrest; Claire Le Goues; ThanhVu Nguyen (Commun. ACM, 2010)

The Boogie Verification Debugger (Tool Paper). - Claire Le Goues; K. Rustan M. Leino; Michal Moskal (SEFM, 2011)

Evolutionary software repair. - Stephanie Forrest; Claire Le Goues (GECCO (Companion), 2012)

Representations and operators for improving evolutionary software repair. - Claire Le Goues; Westley Weimer; Stephanie Forrest (GECCO, 2012)

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. - Claire Le Goues; Michael Dewey-Vogt; Stephanie Forrest; Westley Weimer (ICSE, 2012)

GenProg: A Generic Method for Automatic Software Repair. - Claire Le Goues; ThanhVu Nguyen; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2012)

Measuring Code Quality to Improve Specification Mining. - Claire Le Goues; Westley Weimer (IEEE Trans. Software Eng., 2012)

Current challenges in automatic software repair. - Claire Le Goues; Stephanie Forrest; Westley Weimer (Softw. Qual. J., 2013)

Moving Target Defenses in the Helix Self-Regenerative Architecture. - Claire Le Goues; Anh Nguyen-Tuong; Hao Chen 003; Jack W. Davidson; Stephanie Forrest; Jason Hiser; John C. Knight; Matthew Van Gundy (Moving Target Defense, 2013)

Evaluating the Flexibility of the Java Sandbox. - Zack Coker; Michael Maass; Tianyuan Ding; Claire Le Goues; Joshua Sunshine (ACSAC, 2015)

SASS: Self-Adaptation Using Stochastic Search. - Zack Coker; David Garlan; Claire Le Goues (SEAMS@ICSE, 2015)

Repairing Programs with Semantic Code Search (T). - Yalin Ke; Kathryn T. Stolee; Claire Le Goues; Yuriy Brun (ASE, 2015)

Is the cure worse than the disease? overfitting in automated program repair. - Edward K. Smith; Earl T. Barr; Claire Le Goues; Yuriy Brun (ESEC/SIGSOFT FSE, 2015)

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. - Claire Le Goues; Neal J. Holtschulte; Edward K. Smith; Yuriy Brun; Premkumar T. Devanbu; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2015)

Trusted Software Repair for System Resiliency. - Westley Weimer; Stephanie Forrest; Miryung Kim; Claire Le Goues; Patrick Hurley (DSN Workshops, 2016)

Empirical Study on Synthesis Engines for Semantics-Based Program Repair. - Xuan-Bach Dinh Le 001; David Lo 001; Claire Le Goues (ICSME, 2016)

Enhancing Automated Program Repair with Deductive Verification. - Xuan-Bach Dinh Le 001; Quang Loc Le; David Lo 001; Claire Le Goues (ICSME, 2016)

A learning-to-rank based fault localization approach using likely invariants. - Tien-Duy B. Le; David Lo 001; Claire Le Goues; Lars Grunske (ISSTA, 2016)

Learning to rank for bug report assignee recommendation. - Yuan Tian 008; Dinusha Wijedasa; David Lo 001; Claire Le Goues (ICPC, 2016)

Defending against the attack of the micro-clones. - Rijnard van Tonder; Claire Le Goues (ICPC, 2016)

Examining programmer practices for locally handling exceptions. - Mary Beth Kery; Claire Le Goues; Brad A. Myers (MSR, 2016)

A deeper look into bug fixes: patterns, replacements, deletions, and additions. - Mauricio Soto; Ferdian Thung; Chu-Pan Wong; Claire Le Goues; David Lo 001 (MSR, 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 (SSBSE, 2016)

History Driven Program Repair. - Xuan-Bach Dinh Le 001; David Lo 001; Claire Le Goues (SANER, 2016)

Behavior Metrics for Prioritizing Investigations of Exceptions. - Zack Coker; Kostadin Damevski; Claire Le Goues; Nicholas A. Kraft; David C. Shepherd; Lori L. Pollock (ICSME, 2017)

JFIX: semantics-based repair of Java programs via symbolic PathFinder. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ISSTA, 2017)

Analyzing the impact of social attributes on commit integration success. - Mauricio Soto; Zack Coker; Claire Le Goues (MSR, 2017)

S3: syntax- and semantic-guided repair synthesis via programming by examples. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ESEC/SIGSOFT FSE, 2017)

Toward Semantic Foundations for Program Editors. - Cyrus Omar; Ian Voysey; Michael Hilton; Joshua Sunshine; Claire Le Goues; Jonathan Aldrich; Matthew A. Hammer (SNAPL, 2017)

An Investigation into the Use of Mutation Analysis for Automated Program Repair. - Christopher Steven Timperley; Susan Stepney; Claire Le Goues (SSBSE, 2017)

Automated Program Repair (Dagstuhl Seminar 17022). - Sunghun Kim 001; Claire Le Goues; Michael Pradel; Abhik Roychoudhury (Dagstuhl Reports, 2017)

Guest editorial for special section on research in search-based software engineering. - Claire Le Goues; Shin Yoo (Empir. Softw. Eng., 2017)

Clarifications on the Construction and Use of the ManyBugs Benchmark. - Claire Le Goues; Yuriy Brun; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2017)

Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code. - Jeremy Lacomis; Alan Jaffe; Edward J. Schwartz; Claire Le Goues; Bogdan Vasilescu (AAAI Workshops, 2018)

A novel fitness function for automated program repair based on source code checkpoints. - Eduardo Faria de Souza; Claire Le Goues; Celso Gonçalves Camilo-Junior (GECCO, 2018)

A turing test for genetic improvement. - Afsoon Afzal; Jeremy Lacomis; Claire Le Goues; Christopher Steven Timperley (GI@ICSE, 2018)

Robustness testing of autonomy software. - Casidhe Hutchison; Milda Zizyte; Patrick E. Lanigan; David Guttendorf; Michael Wagner 007; Claire Le Goues; Philip Koopman (ICSE (SEIP), 2018)

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. - Cody Kinneer; Zack Coker; Jiacheng Wang; David Garlan; Claire Le Goues (SEAMS@ICSE, 2018)

BugZoo: a platform for studying software bugs. - Christopher Steven Timperley; Susan Stepney; Claire Le Goues (ICSE (Companion Volume), 2018)

Static automated program repair for heap properties. - Rijnard van Tonder; Claire Le Goues (ICSE, 2018)

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? - Christopher Steven Timperley; Afsoon Afzal; Deborah S. Katz; Jam Marcos Hernandez; Claire Le Goues (ICST, 2018)

Meaningful variable names for decompiled code: a machine translation approach. - Alan Jaffe; Jeremy Lacomis; Edward J. Schwartz; Claire Le Goues; Bogdan Vasilescu (ICPC, 2018)

Semantic crash bucketing. - Rijnard van Tonder; John Kotheimer; Claire Le Goues (ASE, 2018)

A study on the use of IDE features for debugging. - Afsoon Afzal; Claire Le Goues (MSR, 2018)

Common statement kind changes to inform automatic program repair. - Mauricio Soto; Claire Le Goues (MSR, 2018)

Cross-Architecture Lifter Synthesis. - Rijnard van Tonder; Claire Le Goues (SEFM, 2018)

Using a probabilistic model to predict bug fixes. - Mauricio Soto; Claire Le Goues (SANER, 2018)

Effectiveness of anonymization in double-blind review. - Claire Le Goues; Yuriy Brun; Sven Apel; Emery D. Berger; Sarfraz Khurshid; Yannis Smaragdakis (Commun. ACM, 2018)

Debugging Framework Applications: Benefits and Challenges. - Zack Coker; David Gray Widder; Claire Le Goues; Christopher Bogart; Joshua Sunshine (CoRR, 2018)

Genetic Improvement of Software (Dagstuhl Seminar 18052). - Justyna Petke; Claire Le Goues; Stephanie Forrest; William B. Langdon (Dagstuhl Reports, 2018)

Overfitting in semantics-based automated program repair. - Xuan-Bach Dinh Le 001; Ferdian Thung; David Lo 001; Claire Le Goues (Empir. Softw. Eng., 2018)

Improved representation and genetic operators for linear genetic programming for automated program repair. - Vinicius Paulo L. Oliveira; Eduardo Faria de Souza; Claire Le Goues; Celso G. Camilo-Junior (Empir. Softw. Eng., 2018)

Bridging the Gap: From Research to Practical Advice. - Claire Le Goues; Ciera Jaspan; Ipek Ozkaya; Mary Shaw; Kathryn T. Stolee (IEEE Softw., 2018)

Leveraging program invariants to promote population diversity in search-based automatic program repair. - Zhen Yu Ding; Yiwei Lyu; Christopher Steven Timperley; Claire Le Goues (GI@ICSE, 2019)

Towards s/engineer/bot: principles for program repair bots. - Rijnard van Tonder; Claire Le Goues (BotSE@ICSE, 2019)

A Qualitative Study on Framework Debugging. - Zack Coker; David Gray Widder; Claire Le Goues; Christopher Bogart; Joshua Sunshine (ICSME, 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 (ASE, 2019)

Modeling observability in adaptive systems to defend against advanced persistent threats. - Cody Kinneer; Ryan Wagner; Fei Fang 001; Claire Le Goues; David Garlan (MEMOCODE, 2019)

A panel data set of cryptocurrency development activity on GitHub. - Rijnard van Tonder; Asher Trockman; Claire Le Goues (MSR, 2019)

Lightweight multi-language syntax transformation with parser parser combinators. - Rijnard van Tonder; Claire Le Goues (PLDI, 2019)

Automated program repair. - Claire Le Goues; Michael Pradel; Abhik Roychoudhury (Commun. ACM, 2019)

Model-Based Adaptation for Robotics Software. - Jonathan Aldrich; David Garlan; Christian Kästner; Claire Le Goues; Anahita Mohseni-Kabir; Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Christopher Steven Timperley; Manuela Veloso; Ian Voysey; Joydeep Biswas; et al. (IEEE Softw., 2019)

Building Reusable Repertoires for Stochastic Self-* Planners. - Cody Kinneer; Rijnard van Tonder; David Garlan; Claire Le Goues (ACSOS, 2020)

Robustness Inside Out Testing. - Deborah S. Katz; Milda Zizyte; Casidhe Hutchison; David Guttendorf; Patrick E. Lanigan; Eric M. Sample; Philip Koopman; Michael Wagner 007; Claire Le Goues (DSN (Supplements), 2020)

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. - Deborah S. Katz; Casidhe Hutchison; Milda Zizyte; Claire Le Goues (ICRA, 2020)

Tailoring programs for static analysis via program transformation. - Rijnard van Tonder; Claire Le Goues (ICSE, 2020)

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 (ICSME, 2020)

A Study on Challenges of Testing Robotic Systems. - Afsoon Afzal; Claire Le Goues; Michael Hilton; Christopher Steven Timperley (ICST, 2020)

Empirical Study of Restarted and Flaky Builds on Travis CI. - Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu 001 (MSR, 2020)

A Study on the Challenges of Using Robotics Simulators for Testing. - Afsoon Afzal; Deborah S. Katz; Claire Le Goues; Christopher Steven Timperley (CoRR, 2020)

The Importance of Safety Invariants in Robustness Testing Autonomy Systems. - Milda Zizyte; Casidhe Hutchison; Raewyn Duvall; Claire Le Goues; Philip Koopman (DSN (Supplements), 2021)

SOAR: A Synthesis Approach for Data Science API Refactoring. - Ansong Ni; Daniel Ramos; Aidan Z. H. Yang; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ICSE, 2021)

Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. - Ansong Ni; Daniel Ramos; Aidan Z. H. Yang; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ICSE (Companion Volume), 2021)

Simulation for Robotics Test Automation: Developer Perspectives. - Afsoon Afzal; Deborah S. Katz; Claire Le Goues; Christopher Steven Timperley (ICST, 2021)

An Empirical Study of OSS-Fuzz Bugs. - Zhen Yu Ding; Claire Le Goues (MSR, 2021)

VarFix: balancing edit expressiveness and search effectiveness in automated program repair. - Chu-Pan Wong; Priscila Santiesteban; Christian Kästner; Claire Le Goues (ESEC/SIGSOFT FSE, 2021)

FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. - Zack Coker; Joshua Sunshine; Claire Le Goues (SANER, 2021)

GzScenic: Automatic Scene Generation for Gazebo Simulator. - Afsoon Afzal; Claire Le Goues; Christopher Steven Timperley (CoRR, 2021)

Learning to Superoptimize Real-world Programs. - Alex Shypula; Pengcheng Yin; Jeremy Lacomis; Claire Le Goues; Edward J. Schwartz; Graham Neubig (CoRR, 2021)

Understanding and improving artifact sharing in software engineering research. - Christopher Steven Timperley; Lauren Herckis; Claire Le Goues; Michael Hilton (Empir. Softw. Eng., 2021)

Automatic Program Repair. - Claire Le Goues; Michael Pradel; Abhik Roychoudhury; Satish Chandra 001 (IEEE Softw., 2021)

Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. - Cody Kinneer; David Garlan; Claire Le Goues (ACM Trans. Auton. Adapt. Syst., 2021)

SOSRepair: Expressive Semantic Search for Real-World Program Repair. - Afsoon Afzal; Manish Motwani; Kathryn T. Stolee; Yuriy Brun; Claire Le Goues (IEEE Trans. Software Eng., 2021)

Making no-fuss compiler fuzzing effective. - Alex Groce; Rijnard van Tonder; Goutamkumar Tulajappa Kalburgi; Claire Le Goues (CC, 2022)

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. - Christopher Steven Timperley; Tobias Dürschmid; Bradley R. Schmerl; David Garlan; Claire Le Goues (ICSA, 2022)

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. - Christopher Steven Timperley; Tobias Dürschmid; Bradley R. Schmerl; David Garlan; Claire Le Goues (ICSA Companion, 2022)

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. - Qibin Chen; Jeremy Lacomis; Edward J. Schwartz; Graham Neubig; Bogdan Vasilescu; Claire Le Goues (ICSE, 2022)

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. - Alex Groce; Kush Jain; Rijnard van Tonder; Goutamkumar Tulajappa Kalburgi; Claire Le Goues (ICSE (SEIP), 2022)

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; et al. (ISSRE, 2022)

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)

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software. - Deborah S. Katz; Christopher Steven Timperley; Claire Le Goues (CoRR, 2022)

Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. - Afsoon Afzal; Claire Le Goues; Christopher Steven Timperley (IEEE Trans. Software Eng., 2022)

Quality of Automated Program Repair on Real-World Defects. - Manish Motwani; Mauricio Soto; Yuriy Brun; René Just; Claire Le Goues (IEEE Trans. Software Eng., 2022)

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. - Kush Jain; Goutamkumar Tulajappa Kalburgi; Claire Le Goues; Alex Groce (ISSRE, 2023)

MELT: Mining Effective Lightweight Transformations from Pull Requests. - Daniel Ramos; Hailie Mitchell; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ASE, 2023)

CAT-LM Training Language Models on Aligned Code And Tests. - Nikitha Rao; Kush Jain; Uri Alon 002; Claire Le Goues; Vincent J. Hellendoorn (ASE, 2023)

PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. - He Ye; Zimin Chen; Claire Le Goues (ASE, 2023)

Contextual Predictive Mutation Testing. - Kush Jain; Uri Alon 002; Alex Groce; Claire Le Goues (ESEC/SIGSOFT FSE, 2023)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection. - He Ye; Zimin Chen; Claire Le Goues (CoRR, 2023)

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; Bogdan Vasilescu; Claire Le Goues (ACM Trans. Softw. Eng. Methodol., 2023)

Patching Locking Bugs Statically with Crayons. - Juan Cruz-Carlon; Mahsa Varshosaz; Claire Le Goues; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2023)

Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. - Casidhe Hutchison; Milda Zizyte; David Guttendorf; Claire Le Goues; Philip Koopman (DSN-S, 2024)

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 (ICRA, 2024)

ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. - Tobias Dürschmid; Christopher Steven Timperley; David Garlan; Claire Le Goues (ICSE, 2024)

Automated Program Repair, What Is It Good For? Not Absolutely Nothing! - Hadeel Eladawy; Claire Le Goues; Yuriy Brun (ICSE, 2024)

Large Language Models for Test-Free Fault Localization. - Aidan Z. H. Yang; Claire Le Goues; Ruben Martins; Vincent J. Hellendoorn (ICSE, 2024)

A Taxonomy of C Decompiler Fidelity Issues. - Luke Dramko; Jeremy Lacomis; Edward J. Schwartz; Bogdan Vasilescu; Claire Le Goues (USENIX Security Symposium, 2024)

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)

What is a "bug"? On subjectivity, epistemic power, and implications for software research. - David Gray Widder; Claire Le Goues (CoRR, 2024)

Multi-Objective Fine-Tuning for Enhanced Program Repair with LLMs. - Boyang Yang; Haoye Tian; Jiadong Ren; Hongyu Zhang; Jacques Klein; Tegawendé F. Bissyandé; Claire Le Goues; Shunfu Jin (CoRR, 2024)

Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models. - Aidan Z. H. Yang; Haoye Tian; He Ye; Ruben Martins; Claire Le Goues (CoRR, 2024)

STRIDE: Simple Type Recognition In Decompiled Executables. - Harrison Green; Edward J. Schwartz; Claire Le Goues; Bogdan Vasilescu (CoRR, 2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. - Nikitha Rao; Elizabeth Gilbert; Tahina Ramananandro; Nikhil Swamy; Claire Le Goues; Sarah Fakhoury (CoRR, 2024)

When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair. - Wenqiang Luo; Jacky Wai Keung; Boyang Yang; He Ye; Claire Le Goues; Tegawendé F. Bissyandé; Haoye Tian; Bach Le 001 (CoRR, 2024)

Automated Programming and Program Repair (Dagstuhl Seminar 24431). - Claire Le Goues; Michael Pradel; Abhik Roychoudhury; Shin Hwei Tan (Dagstuhl Reports, 2024)

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. - Sourav Deb; Kush Jain; Rijnard van Tonder; Claire Le Goues; Alex Groce (Proc. ACM Softw. Eng., 2024)

BatFix: Repairing language model-based transpilation. - Daniel Ramos; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ACM Trans. Softw. Eng. Methodol., 2024)

What Is a 'Bug'? - David Gray Widder; Claire Le Goues (Commun. ACM, 2024)

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. - Kush Jain; Kiran Kate; Jason Tsay; Claire Le Goues; Martin Hirzel (AST@ICSE, 2025)

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 (DIMVA (1), 2025)

A Human Study of Automatically Generated Decompiler Annotations. - Yuwei Yang; Skyler Grandel; Jeremy Lacomis; Edward J. Schwartz; Bogdan Vasilescu; Claire Le Goues; Kevin Leach (DSN, 2025)

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 (ICSE, 2025)

LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes. - Shiyao Zhou; Jincheng Wang; He Ye; Hao Zhou 009; Claire Le Goues; Xiapu Luo (ICSE, 2025)

Are Large Language Models Memorizing Bug Benchmarks? - Daniel Ramos; Cláudia Mamede; Kush Jain; Paulo Canelas; Catarina Gamboa; Claire Le Goues (LLM4Code@ICSE, 2025)

AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent. - He Ye; Aidan Z. H. Yang; Chang Hu; Yanlin Wang 001; Tao Zhang 001; Claire Le Goues (Proc. ACM Softw. Eng., 2025)

Fast, Fine-Grained Equivalence Checking for Neural Decompilers. - Luke Dramko; Claire Le Goues; Edward J. Schwartz (CoRR, 2025)

Idioms: Neural Decompilation With Joint Code and Type Prediction. - Luke Dramko; Claire Le Goues; Edward J. Schwartz (CoRR, 2025)

TestForge: Feedback-Driven, Agentic Test Suite Generation. - Kush Jain; Claire Le Goues (CoRR, 2025)

Adversarial Reasoning for Repair Based on Inferred Program Intent. - He Ye; Aidan Z. H. Yang; Chang Hu; Yanlin Wang 001; Tao Zhang 001; Claire Le Goues (CoRR, 2025)

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)

FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them. - Harrison Green; Claire Le Goues; Fraser Brown (CoRR, 2025)

Prometheus: Unified Knowledge Graphs for Issue Resolution in Multilingual Codebases. - Zimin Chen; Yue Pan; Siyu Lu; Jiayi Xu; Claire Le Goues; Martin Monperrus; He Ye (CoRR, 2025)