Claire Le Goues
- GenProg: A Generic Method for Automatic Software Repair
2011/10/11 by Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest +1 · 80 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Advanced Malware Detection Techniques
- Toward Semantic Foundations for Program Editors
2017/03/25 by Cyrus Omar, Ian Voysey, Omar, Cyrus +11 · 2 voices · 1 citation
#cs.PL
- Is the cure worse than the disease? overfitting in automated program repair
2015/08/26 by Edward K. Smith, Earl T. Barr, Claire Le Goues +1 · 1 voice · 18 citations
Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Large Language Models for Test-Free Fault Localization
2023/10/03 by Aidan Z. H. Yang, Yang, Aidan Z. H., Ruben Martins +5 · 35 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- An Empirical Study of OSS-Fuzz Bugs
2021/03/21 by Zhen Yu Ding, Claire Le Goues, Ding, Zhen Yu +1 · 1 voice · 4 citations
#cs.SE #cs.CR
- DIRE: A Neural Approach to Decompiled Identifier Naming
2019/09/19 by Jeremy Lacomis, Pengcheng Yin, Lacomis, Jeremy +11 · 9 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software System Performance and Reliability
- CAT-LM: Training Language Models on Aligned Code And Tests
2023/10/02 by Nikitha Rao, Rao, Nikitha, Kush Jain +7 · 12 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-tuning
2024/04/19 by Boyang Yang, Yang, Boyang, Haoye Tian +13 · 14 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics #Semiconductor materials and devices #Software Engineering (cs.SE)
- A Study on the Challenges of Using Robotics Simulators for Testing
2020/04/15 by Afsoon Afzal, Afzal, Afsoon, Deborah Katz +5 · 5 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Real-time simulation and control systems #Robotics (cs.RO) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Learning to Superoptimize Real-world Programs
2021/09/28 by Alex Shypula, Pengcheng Yin, Shypula, Alex +10 · 1 voice
Computer Science · #Advanced Neural Network Applications #Parallel Computing and Optimization Techniques #Software Engineering Research #cs.AI #cs.LG #cs.PL #cs.SE
- Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models
2024/06/09 by Aidan Z. H. Yang, Yang, Aidan Z. H., Haoye Tian +7 · 1 voice · 7 citations
Computer Science · Decision Sciences · #Cryptography and Security (cs.CR) #Data Quality and Management #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Topic Modeling #Web Application Security Vulnerabilities #cs.CR #cs.LG #cs.SE
- Are Large Language Models Memorizing Bug Benchmarks?
2024/11/20 by Daniel Ramos, Claudia Mamede, Cláudia Mamede +10 · 1 voice · 6 citations
Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling #cs.AI #cs.LG #cs.SE
- STRIDE: Simple Type Recognition In Decompiled Executables
2024/07/03 by H. Gwynedd Green, Harrison Green, Edward J. Schwartz +6 · 1 voice · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Semantic Web and Ontologies #cs.CR
- When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
2024/12/02 by Wenqiang Luo, Jacky Keung, Luo, Wenqiang +13 · 7 citations
Computer Science · #Advanced Data Storage Technologies #Privacy-Preserving Technologies in Data
- Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
2025/02/06 by Luke Dramko, Dramko, Luke, Claire Le Goues +3 · 4 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Text Readability and Simplification #Topic Modeling
- TestForge: Feedback-Driven, Agentic Test Suite Generation
2025/03/18 by Kush Jain, Claire Le Goues, Jain, Kush +1 · 4 citations
Computer Science · Decision Sciences · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Scientific Computing and Data Management #Software Engineering (cs.SE) #Software System Performance and Reliability
- DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
2024/10/05 by Nikitha Rao, Rao, Nikitha, Elizabeth Gilbert +10 · 2 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE)
- PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
2023/09/12 by Ye He, Zimin Chen, Ye, He +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Fast, Fine-Grained Equivalence Checking for Neural Decompilers
2025/01/08 by Luke Dramko, Dramko, Luke, Claire Le Goues +3 · 1 citation
Engineering · Computer Science · #Ferroelectric and Negative Capacitance Devices #Adversarial Robustness in Machine Learning #Neural Networks and Applications