


Остановите войну!
for scientists:


default search action
Claire 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
- 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) - [i20]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) - [i19]Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. CoRR abs/2309.02389 (2023) - [i18]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) - [i17]Ye He, Zimin Chen, Claire Le Goues:
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection. CoRR abs/2309.06229 (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 D. 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 D. 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]