default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaire Le Goues
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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 M. Manquinho, Ruben Martins, Claire Le Goues:
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33(6): 161 (2024) - [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 - [i28]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) - [i27]David Gray Widder, Claire Le Goues:
What is a "bug"? On subjectivity, epistemic power, and implications for software research. CoRR abs/2402.08165 (2024) - [i26]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) - [i25]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) - [i24]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) - [i23]Harrison Green, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu:
STRIDE: Simple Type Recognition In Decompiled Executables. CoRR abs/2407.02733 (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 M. 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 M. 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 M. 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 M. 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 M. 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]