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

Vulnerability Repair via Concolic Execution and Code Mutations. - Shariffdeen, Ridwan; Timperley, Christopher Steven; Noller, Yannic; Goues, Claire Le; Roychoudhury, Abhik (ACM Trans. Softw. Eng. Methodol., 2025)

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

Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement. - Dramko, Luke; Bölöni-Turgut, Deniz; Goues, Claire Le; Schwartz, Edward J. (2025)

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

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

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. - Yang, Aidan Z. H.; Kolak, Sophia; Hellendoorn, Vincent J.; Martins, Ruben; Goues, Claire Le (2025)

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

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

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

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

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

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

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

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

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

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

Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. - Canelas, Paulo; Tabor, Trenton; Ore, John-Paul; Fonseca, Alcides; Goues, Claire Le; Timperley, Christopher Steven (2024)

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

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

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

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

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. - Goues, Claire Le; Elbaum, Sebastian G.; Anthony, David J.; Celik, Z. Berkay; Castillo-Effen, Mauricio; Correll, Nikolaus; Jamshidi, Pooyan; Quigley, Morgan; Tabor, Trenton; Zhu, Qi (CoRR, 2024)

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

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

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. - Yang, Aidan Z. H.; Kolak, Sophia; Hellendoorn, Vincent J.; Martins, Ruben; Goues, Claire Le (CoRR, 2024)

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

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

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

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

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

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

DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class. - Dramko, Luke; Lacomis, Jeremy; Yin, Pengcheng; Schwartz, Edward J.; Allamanis, Miltiadis; Neubig, Graham; Vasilescu, Bogdan; Goues, Claire Le (ACM Trans. Softw. Eng. Methodol., 2023)

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

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

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

MELT: Mining Effective Lightweight Transformations from Pull Requests. - Ramos, Daniel; Mitchell, Hailie; Lynce, Inês; Manquinho, Vasco; Martins, Ruben; Goues, Claire Le (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. - Ye, He; Chen, Zimin; Goues, Claire Le (2023)

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

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

Contextual Predictive Mutation Testing. - Jain, Kush; Alon, Uri; Groce, Alex; Goues, Claire Le (CoRR, 2023)

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

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

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

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

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

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

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

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

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

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

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

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). - Leach, Kevin; Timperley, Christopher Steven; Angstadt, Kevin; Nguyen-Tuong, Anh; Hiser, Jason; Paulos, Aaron; Pal, Partha P.; Hurley, Patrick; Thomas, Carl; Davidson, Jack W.; Forrest, Stephanie; Goues, Claire Le; et al. (2022)

Augmenting Decompiler Output with Learned Variable Names and Types. - Chen, Qibin; Lacomis, Jeremy; Schwartz, Edward J.; Goues, Claire Le; Neubig, Graham; Vasilescu, Bogdan (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Augmenting Decompiler Output with Learned Variable Names and Types. - Chen, Qibin; Lacomis, Jeremy; Schwartz, Edward J.; Goues, Claire Le; Neubig, Graham; Vasilescu, Bogdan (CoRR, 2021)

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

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

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

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

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

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

It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem. - Kolak, Sophia; Afzal, Afsoon; Goues, Claire Le; Hilton, Michael; Timperley, Christopher Steven (2020)

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

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

35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020. (ACM, 2020)

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

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

Understanding and Improving Artifact Sharing in Software Engineering Research. - Timperley, Christopher Steven; Herckis, Lauren; Goues, Claire Le; Hilton, Michael (CoRR, 2020)

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

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

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

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

A Qualitative Study on Framework Debugging. - Coker, Zack; Widder, David Gray; Goues, Claire Le; Bogart, Christopher; Sunshine, Joshua (2019)

DIRE: A Neural Approach to Decompiled Identifier Naming. - Lacomis, Jeremy; Yin, Pengcheng; Schwartz, Edward J.; Allamanis, Miltiadis; Goues, Claire Le; Neubig, Graham; Vasilescu, Bogdan (2019)

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

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

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

DIRE: A Neural Approach to Decompiled Identifier Naming. - Lacomis, Jeremy; Yin, Pengcheng; Schwartz, Edward J.; Allamanis, Miltiadis; Goues, Claire Le; Neubig, Graham; Vasilescu, Bogdan (CoRR, 2019)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Effectiveness of Anonymization in Double-Blind Review. - Goues, Claire Le; Brun, Yuriy; Apel, Sven; Berger, Emery D.; Khurshid, Sarfraz; Smaragdakis, Yannis (CoRR, 2017)

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

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

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

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

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

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

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

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

A deeper look into bug fixes: patterns, replacements, deletions, and additions. - Soto, Mauricio; Thung, Ferdian; Wong, Chu-Pan; Goues, Claire Le; Lo, David (2016)

Improved Crossover Operators for Genetic Programming for Program Repair. - Oliveira, Vinicius Paulo L.; Souza, Eduardo F. D.; Goues, Claire Le; Camilo-Junior, Celso G. (2016)

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

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

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

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

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

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

Search-Based Software Engineering - 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings (Springer, 2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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