Claire Le Goues

According to our database, Claire Le Goues authored at least 110 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

What is a "bug"? On subjectivity, epistemic power, and implications for software research.

David Gray Widder, Claire Le Goues

CoRR, 2024

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics.

Claire Le Goues, Sebastian Elbaum, David Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu

CoRR, 2024

Large Language Models for Test-Free Fault Localization.

Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Patching Locking Bugs Statically with Crayons.

Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., May, 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., April, 2023

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection.

He Ye, Zimin Chen, Claire Le Goues

CoRR, 2023

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

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

CAT-LM Training Language Models on Aligned Code And Tests.

Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

MELT: Mining Effective Lightweight Transformations from Pull Requests.

Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

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

Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems.

Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley

IEEE Trans. Software Eng., 2022

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software.

Deborah S. Katz, Christopher Steven Timperley, Claire Le Goues

CoRR, 2022

Augmenting Decompiler Output with Learned Variable Names and Types.

Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu

Proceedings of the 31st USENIX Security Symposium, 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, Westley Weimer

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts.

Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning.

Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 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

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 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

Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

Making no-fuss compiler fuzzing effective.

Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

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

Information Reuse and Stochastic Search: Managing Uncertainty in Self-^* Systems.

Cody Kinneer, David Garlan, Claire Le Goues

ACM Trans. Auton. Adapt. Syst., 2021

Automatic Program Repair.

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra

IEEE Softw., 2021

Understanding and improving artifact sharing in software engineering research.

Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton

Empir. Softw. Eng., 2021

Learning to Superoptimize Real-world Programs.

Alex Shypula, Pengcheng Yin, Jeremy Lacomis, Claire Le Goues, Edward J. Schwartz, Graham Neubig

CoRR, 2021

GzScenic: Automatic Scene Generation for Gazebo Simulator.

Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley

CoRR, 2021

FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications.

Zack Coker, Joshua Sunshine, Claire Le Goues

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

VarFix: balancing edit expressiveness and search effectiveness in automated program repair.

Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

An Empirical Study of OSS-Fuzz Bugs.

Zhen Yu Ding, Claire Le Goues

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Simulation for Robotics Test Automation: Developer Perspectives.

Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Replication of 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 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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 43rd IEEE/ACM International Conference on Software Engineering, 2021

The Importance of Safety Invariants in Robustness Testing Autonomy Systems.

Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

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

Empirical Study of Restarted and Flaky Builds on Travis CI.

Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

A Study on Challenges of Testing Robotic Systems.

Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley

Proceedings of the 13th IEEE International Conference on Software Testing, 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

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Tailoring programs for static analysis via program transformation.

Rijnard van Tonder, Claire Le Goues

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness.

Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robustness Inside Out Testing.

Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

Building Reusable Repertoires for Stochastic Self-* Planners.

Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

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, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi

IEEE Softw., 2019

Automated program repair.

Claire Le Goues, Michael Pradel, Abhik Roychoudhury

Commun. ACM, 2019

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, 2019

A panel data set of cryptocurrency development activity on GitHub.

Rijnard van Tonder, Asher Trockman, Claire Le Goues

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

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

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Qualitative Study on Framework Debugging.

Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Towards s/engineer/bot: principles for program repair bots.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 1st International Workshop on Bots in Software Engineering, 2019

Leveraging program invariants to promote population diversity in search-based automatic program repair.

Zhen Yu Ding, Yiwei Lyu, Christopher Steven Timperley, Claire Le Goues

Proceedings of the 6th International Workshop on Genetic Improvement, 2019

2018

Bridging the Gap: From Research to Practical Advice.

Claire Le Goues, Ciera Jaspan, Ipek Ozkaya, Mary Shaw, Kathryn T. Stolee

IEEE Softw., 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

Overfitting in semantics-based automated program repair.

Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues

Empir. Softw. Eng., 2018

Genetic Improvement of Software (Dagstuhl Seminar 18052).

Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon

Dagstuhl Reports, 2018

Debugging Framework Applications: Benefits and Challenges.

Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine

CoRR, 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

Using a probabilistic model to predict bug fixes.

Mauricio Soto, Claire Le Goues

Proceedings of the 25th International Conference on Software Analysis, 2018

Cross-Architecture Lifter Synthesis.

Rijnard van Tonder, Claire Le Goues

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Common statement kind changes to inform automatic program repair.

Mauricio Soto, Claire Le Goues

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

A study on the use of IDE features for debugging.

Afsoon Afzal, Claire Le Goues

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Semantic crash bucketing.

Rijnard van Tonder, John Kotheimer, Claire Le Goues

Proceedings of the 33rd ACM/IEEE 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

Proceedings of the 26th Conference on Program Comprehension, 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

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Static automated program repair for heap properties.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 40th International Conference on Software Engineering, 2018

BugZoo: a platform for studying software bugs.

Christopher Steven Timperley, Susan Stepney, Claire Le Goues

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search.

Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Robustness testing of autonomy software.

Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

A turing test for genetic improvement.

Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, Christopher Steven Timperley

Proceedings of the 4th International Genetic Improvement Workshop, 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

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

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

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

Guest editorial for special section on research in search-based software engineering.

Claire Le Goues, Shin Yoo

Empir. Softw. Eng., 2017

Automated Program Repair (Dagstuhl Seminar 17022).

Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury

Dagstuhl Reports, 2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair.

Christopher Steven Timperley, Susan Stepney, Claire Le Goues

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

S3: syntax- and semantic-guided repair synthesis via programming by examples.

Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Analyzing the impact of social attributes on commit integration success.

Mauricio Soto, Zack Coker, Claire Le Goues

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

JFIX: semantics-based repair of Java programs via symbolic PathFinder.

Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Behavior Metrics for Prioritizing Investigations of Exceptions.

Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David C. Shepherd, Lori L. Pollock

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016

History Driven Program Repair.

Xuan-Bach Dinh Le, David Lo, Claire Le Goues

Proceedings of the IEEE 23rd International Conference on Software Analysis, 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

Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

A deeper look into bug fixes: patterns, replacements, deletions, and additions.

Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Examining programmer practices for locally handling exceptions.

Mary Beth Kery, Claire Le Goues, Brad A. Myers

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Defending against the attack of the micro-clones.

Rijnard van Tonder, Claire Le Goues

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Learning to rank for bug report assignee recommendation.

Yuan Tian, Dinusha Wijedasa, David Lo, Claire Le Goues

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

A learning-to-rank based fault localization approach using likely invariants.

Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Enhancing Automated Program Repair with Deductive Verification.

Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Empirical Study on Synthesis Engines for Semantics-Based Program Repair.

Xuan-Bach Dinh Le, David Lo, Claire Le Goues

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Trusted Software Repair for System Resiliency.

Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

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

Is the cure worse than the disease? overfitting in automated program repair.

Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Repairing Programs with Semantic Code Search (T).

Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

SASS: Self-Adaptation Using Stochastic Search.

Zack Coker, David Garlan, Claire Le Goues

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Evaluating the Flexibility of the Java Sandbox.

Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2013

Moving Target Defenses in the Helix Self-Regenerative Architecture.

Claire Le Goues, Anh Nguyen-Tuong, Hao Chen, Jack W. Davidson, Stephanie Forrest, Jason Hiser, John C. Knight, Matthew Van Gundy

Proceedings of the Moving Target Defense II, 2013

Current challenges in automatic software repair.

Claire Le Goues, Stephanie Forrest, Westley Weimer

Softw. Qual. J., 2013

2012

Measuring Code Quality to Improve Specification Mining.

Claire Le Goues, Westley Weimer

IEEE Trans. Software Eng., 2012

GenProg: A Generic Method for Automatic Software Repair.

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer

IEEE Trans. Software Eng., 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

Proceedings of the 34th International Conference on Software Engineering, 2012

Representations and operators for improving evolutionary software repair.

Claire Le Goues, Westley Weimer, Stephanie Forrest

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Evolutionary software repair.

Stephanie Forrest, Claire Le Goues

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011

The Boogie Verification Debugger (Tool Paper).

Claire Le Goues, K. Rustan M. Leino, Michal Moskal

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Automatic program repair with evolutionary computation.

Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen

Commun. ACM, 2010

The case for software evolution.

Claire Le Goues, Stephanie Forrest, Westley Weimer

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Designing better fitness functions for automated program repair.

Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Specification Mining with Few False Positives.

Claire Le Goues, Westley Weimer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Using Execution Paths to Evolve Software Patches.

ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatically finding patches using genetic programming.

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest

Proceedings of the 31st International Conference on Software Engineering, 2009

A genetic programming approach to automated software repair.

Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues

Proceedings of the Genetic and Evolutionary Computation Conference, 2009