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 - [i31]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) - [i30]David Gray Widder, Claire Le Goues:
What is a "bug"? On subjectivity, epistemic power, and implications for software research. CoRR abs/2402.08165 (2024) - [i29]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) - [i28]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) - [i27]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) - [i26]Harrison Green, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu:
STRIDE: Simple Type Recognition In Decompiled Executables. CoRR abs/2407.02733 (2024) - [i25]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) - [i24]Daniel Ramos, Cláudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues:
Are Large Language Models Memorizing Bug Benchmarks? CoRR abs/2411.13323 (2024) - [i23]Wenqiang Luo, Jacky Wai Keung, Boyang Yang, He Ye, Claire Le Goues, Tegawendé F. Bissyandé, Haoye Tian, Bach Le:
When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair. CoRR abs/2412.01072 (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]