default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaire Le Goues
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j24]David Gray Widder
, Claire Le Goues:
What Is a 'Bug'? Commun. ACM 67(11): 32-34 (2024)- [j23]Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce:
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1(FSE): 654-674 (2024) - [j22]Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33(6): 161 (2024) - [c84]Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman:
Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. DSN-S 2024: 118-124 - [c83]Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley:
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. ICRA 2024: 4819-4825 - [c82]Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn:
Large Language Models for Test-Free Fault Localization. ICSE 2024: 17:1-17:12 - [c81]Hadeel Eladawy, Claire Le Goues, Yuriy Brun:
Automated Program Repair, What Is It Good For? Not Absolutely Nothing! ICSE 2024: 84:1-84:13 - [c80]Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues:
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE 2024: 144:1-144:13 - [c79]Luke Dramko, Jeremy Lacomis, Edward J. Schwartz, Bogdan Vasilescu, Claire Le Goues:
A Taxonomy of C Decompiler Fidelity Issues. USENIX Security Symposium 2024 - [i29]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:
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR abs/2401.12317 (2024) - [i28]David Gray Widder, Claire Le Goues:
What is a "bug"? On subjectivity, epistemic power, and implications for software research. CoRR abs/2402.08165 (2024) - [i27]Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin:
Multi-Objective Fine-Tuning for Enhanced Program Repair with LLMs. CoRR abs/2404.12636 (2024) - [i26]Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues:
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. CoRR abs/2404.15236 (2024) - [i25]Aidan Z. H. Yang, Haoye Tian, He Ye, Ruben Martins, Claire Le Goues:
Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models. CoRR abs/2406.05892 (2024) - [i24]Harrison Green, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu:
STRIDE: Simple Type Recognition In Decompiled Executables. CoRR abs/2407.02733 (2024) - [i23]Nikitha Rao, Elizabeth Gilbert, Tahina Ramananandro, Nikhil Swamy, Claire Le Goues, Sarah Fakhoury:
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. CoRR abs/2410.04249 (2024) - 2023
- [j21]Luke Dramko, Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Graham Neubig, Bogdan Vasilescu, Claire Le Goues:
DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class. ACM Trans. Softw. Eng. Methodol. 32(2): 39:1-39:34 (2023) - [j20]Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski:
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32(3): 56:1-56:28 (2023) - [c78]Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce:
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. ISSRE 2023: 102-113 - [c77]Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn:
CAT-LM Training Language Models on Aligned Code And Tests. ASE 2023: 409-420 - [c76]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE 2023: 1516-1528 - [c75]He Ye, Zimin Chen, Claire Le Goues:
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. ASE 2023: 1899-1910 - [c74]Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. ESEC/SIGSOFT FSE 2023: 250-261 - [i22]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR abs/2308.14687 (2023) - [i21]Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. CoRR abs/2309.02389 (2023) - [i20]Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce:
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. CoRR abs/2309.02395 (2023) - [i19]He Ye, Zimin Chen, Claire Le Goues:
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection. CoRR abs/2309.06229 (2023) - [i18]Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn:
CAT-LM: Training Language Models on Aligned Code And Tests. CoRR abs/2310.01602 (2023) - [i17]Aidan Z. H. Yang, Ruben Martins, Claire Le Goues, Vincent J. Hellendoorn:
Large Language Models for Test-Free Fault Localization. CoRR abs/2310.01726 (2023) - 2022
- [j19]Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues:
Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. 48(2): 637-661 (2022) - [j18]Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley:
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. IEEE Trans. Software Eng. 48(11): 4535-4552 (2022) - [c73]Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues:
Making no-fuss compiler fuzzing effective. CC 2022: 194-204 - [c72]Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. ICSA Companion 2022: 56 - [c71]Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA 2022: 112-123 - [c70]Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues:
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. ICSE (SEIP) 2022: 185-186 - [c69]Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues:
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. ICSE 2022: 2327-2339 - [c68]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:
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). ISSRE 2022: 73-84 - [c67]Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu:
Augmenting Decompiler Output with Learned Variable Names and Types. USENIX Security Symposium 2022: 4327-4343 - [i16]Deborah S. Katz, Christopher Steven Timperley, Claire Le Goues:
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software. CoRR abs/2201.12464 (2022) - 2021
- [j17]Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton:
Understanding and improving artifact sharing in software engineering research. Empir. Softw. Eng. 26(4): 67 (2021) - [j16]Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra:
Automatic Program Repair. IEEE Softw. 38(4): 22-27 (2021) - [j15]Cody Kinneer, David Garlan, Claire Le Goues:
Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. ACM Trans. Auton. Adapt. Syst. 15(1): 3:1-3:36 (2021) - [j14]Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, Claire Le Goues:
SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Trans. Software Eng. 47(10): 2162-2181 (2021) - [c66]Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman:
The Importance of Safety Invariants in Robustness Testing Autonomy Systems. DSN (Supplements) 2021: 41-44 - [c65]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE 2021: 112-124 - [c64]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) 2021: 190-191 - [c63]Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley:
Simulation for Robotics Test Automation: Developer Perspectives. ICST 2021: 263-274 - [c62]Zhen Yu Ding, Claire Le Goues:
An Empirical Study of OSS-Fuzz Bugs. MSR 2021: 131-142 - [c61]Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues:
VarFix: balancing edit expressiveness and search effectiveness in automated program repair. ESEC/SIGSOFT FSE 2021: 354-366 - [c60]Zack Coker, Joshua Sunshine, Claire Le Goues:
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. SANER 2021: 201-212 - [i15]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR abs/2102.06726 (2021) - [i14]Zhen Yu Ding, Claire Le Goues:
An Empirical Study of OSS-Fuzz Bugs. CoRR abs/2103.11518 (2021) - [i13]Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley:
GzScenic: Automatic Scene Generation for Gazebo Simulator. CoRR abs/2104.08625 (2021) - [i12]Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu:
Augmenting Decompiler Output with Learned Variable Names and Types. CoRR abs/2108.06363 (2021) - [i11]Alex Shypula, Pengcheng Yin, Jeremy Lacomis, Claire Le Goues, Edward J. Schwartz, Graham Neubig:
Learning to Superoptimize Real-world Programs. CoRR abs/2109.13498 (2021) - [i10]Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues:
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. CoRR abs/2112.02650 (2021) - 2020
- [c59]Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues:
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS 2020: 222-231 - [c58]Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues:
Robustness Inside Out Testing. DSN (Supplements) 2020: 1-4 - [c57]Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues:
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. ICRA 2020: 9366-9373 - [c56]Rijnard van Tonder, Claire Le Goues:
Tailoring programs for static analysis via program transformation. ICSE 2020: 824-834 - [c55]Sophia Kolak, Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley:
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem. ICSME 2020: 430-440 - [c54]Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley:
A Study on Challenges of Testing Robotic Systems. ICST 2020: 96-107 - [c53]Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu:
Empirical Study of Restarted and Flaky Builds on Travis CI. MSR 2020: 254-264 - [e2]John Grundy, Claire Le Goues, David Lo:
35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020. ACM 2020, ISBN 978-1-4503-8128-4 [contents] - [i9]Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu:
Empirical Study of Restarted and Flaky Builds on Travis CI. CoRR abs/2003.11772 (2020) - [i8]Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley:
A Study on the Challenges of Using Robotics Simulators for Testing. CoRR abs/2004.07368 (2020) - [i7]Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton:
Understanding and Improving Artifact Sharing in Software Engineering Research. CoRR abs/2008.01046 (2020)
2010 – 2019
- 2019
- [j13]Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated program repair. Commun. ACM 62(12): 56-65 (2019) - [j12]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:
Model-Based Adaptation for Robotics Software. IEEE Softw. 36(2): 83-90 (2019) - [c52]Zhen Yu Ding, Yiwei Lyu, Christopher Steven Timperley, Claire Le Goues:
Leveraging program invariants to promote population diversity in search-based automatic program repair. GI@ICSE 2019: 2-9 - [c51]Rijnard van Tonder, Claire Le Goues:
Towards s/engineer/bot: principles for program repair bots. BotSE@ICSE 2019: 43-47 - [c50]Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine:
A Qualitative Study on Framework Debugging. ICSME 2019: 568-579 - [c49]Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu:
DIRE: A Neural Approach to Decompiled Identifier Naming. ASE 2019: 628-639 - [c48]Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan:
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE 2019: 10:1-10:11 - [c47]Rijnard van Tonder, Asher Trockman, Claire Le Goues:
A panel data set of cryptocurrency development activity on GitHub. MSR 2019: 186-190 - [c46]Rijnard van Tonder, Claire Le Goues:
Lightweight multi-language syntax transformation with parser parser combinators. PLDI 2019: 363-378 - [i6]Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu:
DIRE: A Neural Approach to Decompiled Identifier Naming. CoRR abs/1909.09029 (2019) - 2018
- [j11]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of anonymization in double-blind review. Commun. ACM 61(6): 30-33 (2018) - [j10]Vinicius Paulo L. Oliveira, Eduardo Faria de Souza, Claire Le Goues, Celso G. Camilo-Junior:
Improved representation and genetic operators for linear genetic programming for automated program repair. Empir. Softw. Eng. 23(5): 2980-3006 (2018) - [j9]Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues:
Overfitting in semantics-based automated program repair. Empir. Softw. Eng. 23(5): 3007-3033 (2018) - [j8]Claire Le Goues, Ciera Jaspan, Ipek Ozkaya, Mary Shaw, Kathryn T. Stolee:
Bridging the Gap: From Research to Practical Advice. IEEE Softw. 35(5): 50-57 (2018) - [c45]Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu:
Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code. AAAI Workshops 2018: 771-774 - [c44]Eduardo Faria de Souza, Claire Le Goues, Celso Gonçalves Camilo-Junior:
A novel fitness function for automated program repair based on source code checkpoints. GECCO 2018: 1443-1450 - [c43]Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, Christopher Steven Timperley:
A turing test for genetic improvement. GI@ICSE 2018: 17-18 - [c42]Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues:
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. SEAMS@ICSE 2018: 40-50 - [c41]Rijnard van Tonder, Claire Le Goues:
Static automated program repair for heap properties. ICSE 2018: 151-162 - [c40]Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues:
Overfitting in semantics-based automated program repair. ICSE 2018: 163 - [c39]Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman:
Robustness testing of autonomy software. ICSE (SEIP) 2018: 276-285 - [c38]Christopher Steven Timperley, Susan Stepney, Claire Le Goues:
BugZoo: a platform for studying software bugs. ICSE (Companion Volume) 2018: 446-447 - [c37]Christopher Steven Timperley, Afsoon Afzal, Deborah S. Katz, Jam Marcos Hernandez, Claire Le Goues:
Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? ICST 2018: 331-342 - [c36]Alan Jaffe, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu:
Meaningful variable names for decompiled code: a machine translation approach. ICPC 2018: 20-30 - [c35]Rijnard van Tonder, John Kotheimer, Claire Le Goues:
Semantic crash bucketing. ASE 2018: 612-622 - [c34]Mauricio Soto, Claire Le Goues:
Common statement kind changes to inform automatic program repair. MSR 2018: 102-105 - [c33]Afsoon Afzal, Claire Le Goues:
A study on the use of IDE features for debugging. MSR 2018: 114-117 - [c32]Rijnard van Tonder, Claire Le Goues:
Cross-Architecture Lifter Synthesis. SEFM 2018: 155-170 - [c31]Mauricio Soto, Claire Le Goues:
Using a probabilistic model to predict bug fixes. SANER 2018: 221-231 - [i5]Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine:
Debugging Framework Applications: Benefits and Challenges. CoRR abs/1801.05366 (2018) - [i4]Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon:
Genetic Improvement of Software (Dagstuhl Seminar 18052). Dagstuhl Reports 8(1): 158-182 (2018) - 2017
- [j7]Claire Le Goues, Shin Yoo:
Guest editorial for special section on research in search-based software engineering. Empir. Softw. Eng. 22(2): 849-851 (2017) - [j6]Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer:
Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. 43(11): 1089-1090 (2017) - [c30]Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David C. Shepherd, Lori L. Pollock:
Behavior Metrics for Prioritizing Investigations of Exceptions. ICSME 2017: 554-563 - [c29]Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA 2017: 376-379 - [c28]Mauricio Soto, Zack Coker, Claire Le Goues:
Analyzing the impact of social attributes on commit integration success. MSR 2017: 483-486 - [c27]Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE 2017: 593-604 - [c26]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. SNAPL 2017: 11:1-11:12 - [c25]Christopher Steven Timperley, Susan Stepney, Claire Le Goues:
An Investigation into the Use of Mutation Analysis for Automated Program Repair. SSBSE 2017: 99-114 - [i3]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. CoRR abs/1703.08694 (2017) - [i2]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of Anonymization in Double-Blind Review. CoRR abs/1709.01609 (2017) - [i1]Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury:
Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7(1): 19-31 (2017) - 2016
- [c24]Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley:
Trusted Software Repair for System Resiliency. DSN Workshops 2016: 238-241 - [c23]Xuan-Bach Dinh Le, David Lo, Claire Le Goues:
Empirical Study on Synthesis Engines for Semantics-Based Program Repair. ICSME 2016: 423-427 - [c22]Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues:
Enhancing Automated Program Repair with Deductive Verification. ICSME 2016: 428-432 - [c21]Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske:
A learning-to-rank based fault localization approach using likely invariants. ISSTA 2016: 177-188 - [c20]Yuan Tian, Dinusha Wijedasa, David Lo, Claire Le Goues:
Learning to rank for bug report assignee recommendation. ICPC 2016: 1-10 - [c19]Rijnard van Tonder, Claire Le Goues:
Defending against the attack of the micro-clones. ICPC 2016: 1-4 - [c18]Mary Beth Kery, Claire Le Goues, Brad A. Myers:
Examining programmer practices for locally handling exceptions. MSR 2016: 484-487 - [c17]Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo:
A deeper look into bug fixes: patterns, replacements, deletions, and additions. MSR 2016: 512-515 - [c16]Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior:
Improved Crossover Operators for Genetic Programming for Program Repair. SSBSE 2016: 112-127 - [c15]Xuan-Bach Dinh Le, David Lo, Claire Le Goues:
History Driven Program Repair. SANER 2016: 213-224 - 2015
- [j5]Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer:
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41(12): 1236-1256 (2015) - [c14]Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine:
Evaluating the Flexibility of the Java Sandbox. ACSAC 2015: 1-10 - [c13]Zack Coker, David Garlan, Claire Le Goues:
SASS: Self-Adaptation Using Stochastic Search. SEAMS@ICSE 2015: 168-174 - [c12]Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun:
Repairing Programs with Semantic Code Search (T). ASE 2015: 295-306 - [c11]Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun:
Is the cure worse than the disease? overfitting in automated program repair. ESEC/SIGSOFT FSE 2015: 532-543 - 2014
- [e1]Claire Le Goues, Shin Yoo:
Search-Based Software Engineering - 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings. Lecture Notes in Computer Science 8636, Springer 2014, ISBN 978-3-319-09939-2 [contents] - 2013
- [j4]Claire Le Goues, Stephanie Forrest, Westley Weimer:
Current challenges in automatic software repair. Softw. Qual. J. 21(3): 421-443 (2013) - [p1]Claire Le Goues, Anh Nguyen-Tuong, Hao Chen, Jack W. Davidson, Stephanie Forrest, Jason Hiser, John C. Knight, Matthew Van Gundy:
Moving Target Defenses in the Helix Self-Regenerative Architecture. Moving Target Defense 2013: 117-149 - 2012
- [j3]Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer:
GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng. 38(1): 54-72 (2012) - [j2]Claire Le Goues, Westley Weimer:
Measuring Code Quality to Improve Specification Mining. IEEE Trans. Software Eng. 38(1): 175-190 (2012) - [c10]Claire Le Goues, Westley Weimer, Stephanie Forrest:
Representations and operators for improving evolutionary software repair. GECCO 2012: 959-966 - [c9]Stephanie Forrest, Claire Le Goues:
Evolutionary software repair. GECCO (Companion) 2012: 1345-1348 - [c8]Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer:
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. ICSE 2012: 3-13 - 2011
- [c7]Claire Le Goues, K. Rustan M. Leino, Michal Moskal:
The Boogie Verification Debugger (Tool Paper). SEFM 2011: 407-414 - 2010
- [j1]Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen:
Automatic program repair with evolutionary computation. Commun. ACM 53(5): 109-116 (2010) - [c6]Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer:
Designing better fitness functions for automated program repair. GECCO 2010: 965-972 - [c5]Claire Le Goues, Stephanie Forrest, Westley Weimer:
The case for software evolution. FoSER 2010: 205-210
2000 – 2009
- 2009
- [c4]Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues:
A genetic programming approach to automated software repair. GECCO 2009: 947-954 - [c3]Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest:
Automatically finding patches using genetic programming. ICSE 2009: 364-374 - [c2]ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest:
Using Execution Paths to Evolve Software Patches. ICST Workshops 2009: 152-153 - [c1]Claire Le Goues, Westley Weimer:
Specification Mining with Few False Positives. TACAS 2009: 292-306
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
