Publications

@article{cruz22crayons,
  author = {Cruz-Carlon, Juan Alfredo and Varshosaz, Mahsa and {Le~Goues}, Claire and W\k{a}sowski, Andrzej},
  title = {Patching Locking Bugs Statically with Crayons},
  year = {2022},
  publisher = {Association for Computing Machinery},
  issn = {1049-331X},
  doi = {10.1145/3548684},
  note = {Just Accepted},
  journal = {ACM Trans. Softw. Eng. Methodol.}
}

@article{dramko22dire,
  author = {Dramko, Luke and Lacomis, Jeremy and Yin, Pengcheng and Schwartz, Edward J. and Allamanis, Miltiadis and Neubig, Graham and Vasilescu, Bodan and {Le~Goues}, Claire},
  title = {DIRE and its Data: {N}eural Decompiled Variable Renamings with respect to Software Class},
  publisher = {Association for Computing Machinery},
  note = {Just Accepted},
  year = {2022},
  journal = {ACM Trans. Softw. Eng. Methodol.}
}

@article{motwani20tse,
  author = {Motwani, Manish and Soto, Mauricio and Brun, Yuriy and Just, Ren{\'{e}} and {Le~Goues}, Claire},
  title = {Quality of Automated Program Repair on Real-World Defects},
  journal = {IEEE Transactions on Software Engineering (TSE)},
  venue = {TSE},
  issue = {48},
  vol = {2},
  pages = {637--661},
  doi = {10.1109/TSE.2020.2998785},
  issn = {0098-5589},
  year = {2022},
  github = {http://github.com/LASER-UMASS/JavaRepairreplication-package/}
}

@inproceedings{chen22dirty,
  author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan},
  title = {Augmenting Decompiler Output with Learned Variable Names and Types},
  booktitle = {USENIX Security Symposium},
  year = {2022},
  series = {Oakland '22},
  website = {https://dirtdirty.github.io/explorer.html}
}

@inproceedings{chen22icse,
  author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and Neubig, Graham and Vasilescu, Bogdan and {Le~Goues}, Claire},
  title = {VarCLR: Variable Semantic Representation Pre-training via Contrastive
                 Learning},
  booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering},
  pages = {2327--2339},
  publisher = {{ACM}},
  year = {2022},
  url = {https://doi.org/10.1145/3510003.3510162},
  doi = {10.1145/3510003.3510162},
  github = {https://github.com/squaresLab/VarCLR}
}

@inproceedings{timp22icsa,
  author = {Timperley, Christopher Steven and D{\"{u}}rschmid, Tobias and Schmerl, Bradley R. and Garlan, David and {Le~Goues}, Claire},
  title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations
                 in Robotics Systems},
  booktitle = {19th {IEEE} International Conference on Software Architecture, {ICSA}},
  pages = {112--123},
  publisher = {{IEEE}},
  year = {2022},
  doi = {10.1109/ICSA53651.2022.00019},
  github = {https://github.com/rosqual/rosdiscover}
}

@inproceedings{groce22cc,
  author = {Groce, Alex and van Tonder, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire},
  title = {Making no-fuss compiler fuzzing effective},
  booktitle = {{CC} '22: 31st {ACM} {SIGPLAN} International Conference on Compiler
                 Construction},
  pages = {194--204},
  publisher = {{ACM}},
  year = {2022},
  doi = {10.1145/3497776.3517765}
}

@article{tse20sos,
  author = {Afzal, Afsoon and Motwani, Manish and Stolee, Kathryn T. and Brun, Yuriy and {Le~Goues}, Claire},
  title = {SOSRepair: Expressive Semantic Search for Real-World Program Repair},
  journal = {IEEE Transactions on Software Engineering (TSE)},
  venue = {TSE},
  issn = {0098-5589},
  year = {2021},
  volume = {47},
  number = {10},
  pages = {2162--2181},
  doi = {10.1109/TSE.2019.2944914}
}

@inproceedings{wong21varfix,
  author = {Wong, Chu{-}Pan and Santiesteban, Priscila and K{\"{a}}stner, Christian and {Le~Goues}, Claire},
  title = {VarFix: balancing edit expressiveness and search effectiveness in
                 automated program repair},
  booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
                 and Symposium on the Foundations of Software Engineering},
  pages = {354--366},
  publisher = {{ACM}},
  year = {2021},
  doi = {10.1145/3468264.3468600}
}

@article{timperley21ese,
  author = {Timperley, Christopher Steven and Herckis, Lauren and {Le~Goues}, Claire and Hilton, Michael},
  title = {Understanding and improving artifact sharing in software engineering
                 research},
  journal = {Empir. Softw. Eng.},
  volume = {26},
  number = {4},
  pages = {67},
  year = {2021},
  doi = {10.1007/s10664-021-09973-5}
}

@inproceedings{ding21msr,
  author = {Ding, Zhen Yu and {Le~Goues}, Claire},
  booktitle = {2021 IEEE/ACM 18th International Conference on Mining Software Repositories},
  series = {MSR'21},
  title = {An Empirical Study of OSS-Fuzz Bugs},
  year = {2021},
  pages = {131--142},
  doi = {10.1109/MSR52588.2021.00026},
  old_url = {https://doi.ieeecomputersociety.org/10.1109/MSR52588.2021.00026},
  publisher = {IEEE Computer Society},
  location = {Madrid, Spain}
}

@inproceedings{ni21soar,
  author = {Ni, Ansong and Ramos, Daniel and Yang, Aidan Z. H. and Lynce, In{\^{e}}s and Manquinho, Vasco M. and Martins, Ruben and {Le~Goues}, Claire},
  title = {{SOAR:} {A} Synthesis Approach for Data Science {API} Refactoring},
  booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  pages = {112--124},
  publisher = {{IEEE}},
  location = {Madrid, Spain},
  year = {2021},
  doi = {10.1109/ICSE43902.2021.00023}
}

@inproceedings{afzal21icst,
  author = {Afzal, Afsoon and Katz, Deborah S. and {Le~Goues}, Claire and Timperley, Christopher Steven},
  title = {Simulation for Robotics Test Automation: Developer Perspectives},
  booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation (ICST)},
  location = {Porto de Galinhas, Brazil},
  pages = {263--274},
  publisher = {{IEEE}},
  year = {2021},
  doi = {10.1109/ICST49551.2021.00036}
}

@inproceedings{coker21framefix,
  author = {Coker, Zack and Sunshine, Joshua and {Le~Goues}, Claire},
  title = {FrameFix: Automatically Repairing Statically-Detected Directive Violations
                 in Framework Applications},
  booktitle = {28th {IEEE} International Conference on Software Analysis, Evolution
                 and Reengineering (SANER)},
  pages = {201--212},
  publisher = {{IEEE}},
  year = {2021},
  doi = {10.1109/SANER50967.2021.00027}
}

@article{kinneer21taas,
  author = {Kinneer, Cody and Garlan, David and {Le~Goues}, Claire},
  title = {Information Reuse and Stochastic Search: Managing Uncertainty in Self-\({}^{\mbox{*}}\)
                 Systems},
  journal = {{ACM} Trans. Auton. Adapt. Syst.},
  volume = {15},
  number = {1},
  pages = {3:1--3:36},
  year = {2021},
  doi = {10.1145/3440119}
}

@inproceedings{icst20robots,
  author = {Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven},
  title = {A Study on Challenges of Testing Robotic Systems},
  booktitle = {2020 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
  pages = {96--107},
  publisher = {{IEEE}},
  year = {2020},
  doi = {10.1109/ICST46399.2020.00020}
}

@inproceedings{kolak20icsme,
  author = {Kolak, Sophia and Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven},
  title = {It Takes a Village to Build a Robot: An Empirical Study of The {ROS}
                 Ecosystem},
  booktitle = {{IEEE} International Conference on Software Maintenance and Evolution (ICSME)},
  location = {Adelaide, Australia},
  pages = {430--440},
  publisher = {{IEEE}},
  year = {2020},
  doi = {10.1109/ICSME46990.2020.00048}
}

@inproceedings{kinneer20acsos,
  author = {Kinneer, Cody and van Tonder, Rijnard and Garlan, David and {Le~Goues}, Claire},
  title = {Building Reusable Repertoires for Stochastic Self-* Planners},
  booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
                 Systems (ACSOS)},
  location = {Washington, DC},
  pages = {222--231},
  publisher = {{IEEE}},
  year = {2020},
  doi = {10.1109/ACSOS49614.2020.00045}
}

@inproceedings{durieux20msr,
  author = {Durieux, Thomas and {Le~Goues}, Claire and Hilton, Michael and Abreu, Rui},
  title = {Empirical Study of Restarted and Flaky Builds on Travis CI},
  booktitle = {IEEE/ACM 17th International Conference on Mining Software Repositories (MSR)},
  pages = {254--264},
  location = {Seoul, Republic of Korea},
  publisher = {{ACM}},
  year = {2020},
  doi = {10.1145/3379597.3387460}
}

@inproceedings{icra2020anomalies,
  author = {Katz, Deborah S. and Hutchison, Casidhe and Zizyte, Milda and {Le~Goues}, Claire},
  title = {Detecting Execution Anomalies as an Oracle for Autonomy Software Robustness},
  booktitle = {Proceedings of the 2020 International Conference on Robotics and Automation (ICRA)},
  old_series = {ICRA '20},
  year = {2020},
  pages = {9366--9373},
  publisher = {{IEEE}},
  doi = {10.1109/ICRA40945.2020.9197060}
}

@inproceedings{icse2020transform,
  author = {van Tonder, Rijnard and {Le~Goues}, Claire},
  title = {Tailoring Programs for Static Analysis via Program Transformation},
  booktitle = {Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE)},
  publisher = {{ACM}},
  year = {2020},
  doi = {10.1145/3377811.3380343},
  timestamp = {Fri, 08 Jan 2021 14:47:26 +0100}
}

@article{legoues-cacm2019,
  author = {Le~Goues, Claire and Pradel, Michael and Roychoudhury, Abhik},
  title = {Automated Program Repair},
  year = {2019},
  issue_date = {November 2019},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {62},
  number = {12},
  issn = {0001-0782},
  doi = {10.1145/3318162},
  journal = {Commun. ACM},
  pages = {56–65},
  numpages = {10}
}

@inproceedings{icsme19zack,
  author = {Coker, Zack and Widder, David G. and {Le~Goues}, Claire and Bogart, Christopher and Sunshine, Joshua},
  booktitle = {2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)},
  title = {A Qualitative Study on Framework Debugging},
  year = {2019},
  location = {Cleveland, OH},
  pages = {568--579},
  doi = {10.1109/ICSME.2019.00091},
  issn = {1063-6773},
  github = {https://github.com/cbogart/ViolationOfDirectives}
}

@article{sw19brass,
  author = {Aldrich, Jonathan and Garlan, David and K\"astner, Christian and {Le~Goues}, Claire and Mohseni-Kabir, Anahita and Ruchkin, Ivan and Samuel, Selva and Schmerl, Bradley R. and Timperley, Christopher Steven and Veloso, Manuela and Voysey, Ian and Biswas, Joydeep and Guha, Arjun and Holtz, Jarrett and C\'amara, Javier and Jamshidi, Pooyan},
  title = {Model-Based Adaptation for Robotics Software},
  journal = {{IEEE} Software},
  volume = {36},
  number = {2},
  pages = {83--90},
  year = {2019},
  doi = {10.1109/MS.2018.2885058}
}

@inproceedings{memocode19cody,
  author = {Kinneer, Cody and Wagner, Ryan and Fang, Fei and {Le~Goues}, Claire and Garlan, David},
  title = {Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats},
  year = {2019},
  isbn = {9781450369978},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {10.1145/3359986.3361208},
  booktitle = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
  numpages = {11}
}

@inproceedings{ase19dire,
  author = {Lacomis, Jeremy and Yin, Pengcheng and Schwarts, Edward and Allamanis, Miltiadis and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan},
  booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  title = {DIRE: A Neural Approach to Decompiled Identifier Naming},
  year = {2019},
  volume = {},
  lnumber = {},
  pages = {628-639},
  doi = {10.1109/ASE.2019.00064},
  issn = {1938--4300},
  results = {https://zenodo.org/record/3403078},
  github = {https://github.com/CMUSTRUDEL/DIRE}
}

@inproceedings{pldi19,
  author = {van Tonder, Rijnard and {Le~Goues}, Claire},
  title = {Lightweight Multi-language Syntax Transformation with Parser Parser Combinators},
  booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2019},
  isbn = {978-1-4503-6712-7},
  pages = {363--378},
  numpages = {16},
  doi = {10.1145/3314221.3314589},
  acmid = {3314589},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {parsers, rewriting, syntax, transformation},
  website = {https://comby.dev/},
  video = {https://www.youtube.com/watch?v=JMZLBB_BFNg}
}

@inproceedings{desouza-gecco18,
  author = {{de Souza}, Eduardo Faria and {Le~Goues}, Claire and Camilo-Junior, Celso Goncalves},
  title = {A Novel Fitness Function for Automated Program Repair Based on Source
  Code Checkpoints},
  year = {2018},
  publisher = {ACM},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)},
  doi = {10.1145/3205455.3205566},
  location = {Kyoto, Japan},
  pages = {1443--1450}
}

@article{cacm18double,
  author = {{Le~Goues}, Claire and Brun, Yuriy and Apel, Sven and Berger, Emery and Khurshid, Sarfraz and Smaragdakis, Yannis},
  title = {Effectiveness of Anonymization in Double-Blind Review},
  journal = {Commun. ACM},
  year = {2018},
  volume = {61},
  number = {6},
  pages = {30--33},
  doi = {10.1145/3208157}
}

@inproceedings{icse18rijnard,
  title = {Static Automated Program Repair for Heap Properties},
  author = {van~Tonder, Rijnard and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 40th {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  doi = {10.1145/3180155.3180250},
  pages = {151--162},
  year = {2018},
  publisher = {ACM},
  location = {Gothenburg, Sweden},
  github = {https://github.com/squaresLab/footpatch},
  results = {https://github.com/squaresLab/footpatch-patches}
}

@inproceedings{icse18seip,
  title = {Robustness Testing of Autonomy Software},
  author = {Hutchison, Casidhe and Zizyte, Milda and Lanigan, Patrick E. and Guttendorf, David and Wagner, Michael and {Le~Goues}, Claire and Koopman, Philip},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP)},
  year = {2018},
  location = {Gothenburg, Sweden},
  pages = {276--285},
  doi = {10.1145/3183519.3183534},
  publisher = {ACM}
}

@inproceedings{icpc18jaffe,
  title = {Meaningful Variable Names for Decompiled Code: A Machine Translation Approach},
  author = {Jaffe, Alan and Lacomis, Jeremy and Schwartz, Edward and {Le~Goues}, Claire and Vasilescu, Bogdan},
  booktitle = {Proceedings of the 26th IEEE International Conference on Program Comprehension (ICPC)},
  year = {2018},
  doi = {10.1145/3196321.3196330},
  pages = {20--30},
  location = {Gothenburg, Sweden},
  publisher = {ACM}
}

@inproceedings{seams18cody,
  title = {Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search},
  author = {Kinneer, Cody and Coker, Zack and Wang, Jiacheng and Garlan, David and {Le~Goues}, Claire},
  pages = {40--50},
  booktitle = {Proceedings of the 12th {IEEE/ACM} International Symposium on Software Engineering for
                 Adaptive and Self-Managing Systems (SEAMS)},
  doi = {10.1145/3194133.3194145},
  year = {2018},
  location = {Gothenburg, Sweden},
  publisher = {ACM},
  github = {https://github.com/ZackC/AdaptiveSystemsGeneticProgrammingPlanner}
}

@inproceedings{icst18crashing,
  title = {Crashing simulated planes is cheap: {C}an simulation detect robotics bugs early?},
  author = {Timperley, Christopher Steven and Afzal, Afsoon and Katz, Deborah and Hernandez, Jam Marcos and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST)},
  pages = {331--342},
  location = {V{\"{a}}ster{\aa}s, Sweden},
  doi = {10.1109/ICST.2018.00040},
  year = {2018},
  github = {https://github.com/squaresLab/ArduBugs}
}

@inproceedings{saner18mau,
  title = {Using a probabilistic model to predict bug fixes},
  author = {Soto, Mauricio and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)},
  year = {2018},
  location = {Campobasso, Italy},
  pages = {221--231},
  doi = {10.1109/SANER.2018.8330211},
  github = {https://github.com/squaresLab/ProbabilisticModelSaner2018}
}

@article{sw18ebm,
  author = {{Le~Goues}, Claire and Jaspan, Ciera and Ozkaya, Ipek and Shaw, Mary and Stolee, Kathryn T.},
  title = {Bridging the Gap: From Research to Practical Advice},
  journal = {{IEEE} Software},
  volume = {35},
  number = {5},
  pages = {50--57},
  year = {2018},
  doi = {10.1109/MS.2018.3571235}
}

@article{ese18overfit,
  title = {Overfitting in semantics-based automated program repair},
  author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire},
  journal = {Empirical Software Engineering},
  year = {2018},
  volume = {23},
  number = {5},
  pages = {3007--3033},
  doi = {10.1007/s10664-017-9577-2},
  results = {https://zenodo.org/record/1012686#.YUNP455KjBt}
}

@article{ese18rep,
  title = {Improved representation and genetic operators for linear genetic programming for automated program repair},
  author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. and {Le~Goues}, Claire and Camilo-Junior, Celso G.},
  journal = {Empirical Software Engineering},
  volume = {23},
  number = {5},
  pages = {2980--3006},
  year = {2018},
  doi = {10.1007/s10664-017-9562-9}
}

@inproceedings{sefm18,
  author = {van Tonder, Rijnard and {Le~Goues}, Claire},
  title = {Cross-Architecture Lifter Synthesis},
  booktitle = {Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as part of {STAF} 2018},
  year = {2018},
  pages = {155--170},
  publisher = {Springer},
  doi = {10.1007/978-3-319-92970-5_10},
  series = {Lecture Notes in Computer Science},
  volume = {10886},
  github = {https://github.com/squaresLab/SynthLift}
}

@inproceedings{ase18scb,
  author = {van Tonder, Rijnard and Kotheimer, John and {Le~Goues}, Claire},
  title = {Semantic crash bucketing},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
                 Software Engineering (ASE)},
  pages = {612--622},
  location = {Montpellier, France},
  year = {2018},
  crossref = {DBLP:conf/kbse/2018},
  doi = {10.1145/3238147.3238200},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl = {https://dblp.org/rec/bib/conf/kbse/TonderKG18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  github = {https://github.com/squaresLab/SemanticCrashBucketing}
}

@inproceedings{ssbse17,
  author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire},
  title = {An investigation into the use of mutation analysis for automated program repair},
  booktitle = {Proceedings of the 9th International Symposium on Search Based Software Engineering (SSBSE)},
  pages = {99--114},
  doi = {10.1007/978-3-319-66299-2_7},
  year = {2017},
  location = {Paderborn, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {10452},
  publisher = {Springer},
  github = {https://bitbucket.org/ChrisTimperley/ssbse-2017-data}
}

@inproceedings{icsme17,
  author = {Coker, Zack and Damevski, Kostadin and {Le~Goues}, Claire and Kraft, Nicholas A. and Shepherd, David and Pollock, Lori},
  title = {Behavior Metrics for Prioritizing Investigations of Exceptions},
  booktitle = {Proceedings of the 2017 {IEEE} International Conference on Software Maintenance and Evolution (ICSME, Industry Track)},
  pages = {554--563},
  doi = {10.1109/ICSME.2017.62},
  year = {2017},
  location = {Shanghai, China},
  publisher = {{IEEE} Computer Society}
}

@inproceedings{esecfse17s3,
  author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem},
  title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples},
  booktitle = {Proceedings of the 11th Joint Meeting of the European
    Software Engineering Conference and ACM SIGSOFT Symposium on the
    Foundations of Software Engineering (ESEC/FSE)},
  doi = {10.1145/3106237.3106309},
  location = {Paderborn, Germany},
  publisher = {{ACM}},
  pages = {593--604},
  year = {2017},
  website = {https://xuanbachle.github.io/semanticsrepair/}
}

@inproceedings{snapl17,
  author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and Sunshine, Joshua and {Le~Goues}, Claire and Aldrich, Jonathan and Hammer, Matthew},
  title = {Toward Semantic Foundations for Program Editors},
  booktitle = {Proceedings of the 2nd Summit on Advances in Programming Languages (SNAPL)},
  doi = {10.4230/LIPIcs.SNAPL.2017.11},
  pages = {11:1--11:12},
  year = {2017},
  location = {Asilomar, CA, USA},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}

@inproceedings{ssbse16,
  author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. D. and {Le~Goues}, Claire and Camilo-Junior, Celso G.},
  title = {Improved Crossover Operators for Genetic Programming for Program Repair},
  booktitle = {Proceedings of the 8th International Symposium on Search Based Software Engineering (SSBSE)},
  doi = {10.1007/978-3-319-47106-8_8},
  pages = {112--127},
  year = {2016},
  location = {Raleigh, NC, USA},
  series = {Lecture Notes in Computer Science},
  volume = {9962}
}

@inproceedings{le2016issta,
  author = {B. Le, Tien-Duy and Lo, David and {Le~Goues}, Claire and Grunske, Lars},
  title = {A Learning-to-rank Based Fault Localization Approach Using Likely Invariants},
  booktitle = {Proceedings of the 25th International Symposium on Software Testing
                 and Analysis (ISSTA)},
  publisher = {ACM},
  year = {2016},
  location = {Saarbr{\"{u}}cken, Germany},
  pages = {177--188},
  numpages = {12},
  doi = {10.1145/2931037.2931049}
}

@inproceedings{tian-icpc16,
  author = {Tian, Yuan and Wijedasa, Dinusha and Lo, David and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC)},
  title = {Learning to rank for bug report assignee recommendation},
  year = {2016},
  location = {Austin, TX, USA},
  publisher = {{IEEE} Computer Society},
  pages = {1--10},
  doi = {10.1109/ICPC.2016.7503715}
}

@inproceedings{bach-saner16,
  author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)},
  title = {History Driven Program Repair},
  year = {2016},
  volume = {1},
  pages = {213-224},
  doi = {10.1109/SANER.2016.76},
  location = {Osaka, Japan},
  publisher = {{IEEE} Computer Society},
  github = {https://github.com/xuanbachle/bugfixes},
  blog = {https://www.felienne.com/archives/4786}
}

@inproceedings{coker15acsac,
  author = {Coker, Zack and Maass, Michael and Ding, Tianyuan and {Le~Goues}, Claire and Sunshine, Joshua},
  title = {Evaluating the Flexibility of the Java Sandbox},
  doi = {10.1145/2818000.2818003},
  booktitle = {Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC)},
  pages = {1--10},
  location = {Los Angeles, CA, USA},
  publisher = {ACM},
  year = {2015}
}

@inproceedings{ke15ase,
  author = {Ke, Yalin and Stolee, Kathryn T. and {Le~Goues}, Claire and Brun, Yuriy},
  title = {Repairing Programs with Semantic Code Search},
  booktitle = {Proceedings of the 30th IEEE/ACM International Conference on
    Automated Software Engineering (ASE)},
  location = {Lincoln, NE, USA},
  date = {9--13},
  year = {2015},
  doi = {10.1109/ASE.2015.60},
  pages = {295--306},
  publisher = {{IEEE} Computer Society},
  github = {https://github.com/ProgramRepair/SearchRepair}
}

@inproceedings{smith15fse,
  author = {Smith, Edward K. and Barr, Earl and {Le~Goues}, Claire and Brun, Yuriy},
  title = {Is
    the Cure Worse than the Disease? {O}verfitting in Automated Program Repair},
  booktitle = {Proceedings of the 10th Joint Meeting of the European
    Software Engineering Conference and ACM SIGSOFT Symposium on the
    Foundations of Software Engineering (ESEC/FSE)},
  year = {2015},
  pages = {532--543},
  location = {Bergamo, Italy},
  publisher = {ACM},
  doi = {10.1145/2786805.2786825}
}

@article{legoues15tse,
  author = {{Le~Goues}, Claire and Holtschulte, Neal and Smith, Edward K. and Brun, Yuriy and Devanbu, Premkumar T. and Forrest, Stephanie and Weimer, Westley},
  title = {The ManyBugs and IntroClass Benchmarks for Automated Repair of {C}
                 Programs},
  journal = {{IEEE} Trans. Software Eng.},
  volume = {41},
  number = {12},
  pages = {1236--1256},
  year = {2015},
  doi = {10.1109/TSE.2015.2454513},
  website = {https://repairbenchmarks.cs.umass.edu/}
}

@article{sqjo13,
  author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley},
  title = {Current challenges in automatic software repair},
  journal = {Software Quality Journal},
  volume = {21},
  number = {3},
  pages = {421--443},
  year = {2013},
  doi = {10.1007/s11219-013-9208-0}
}

@inproceedings{legoues12gecco,
  title = {Representations and Operators for Improving Evolutionary Software Repair},
  doi = {10.1145/2330163.2330296},
  author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)},
  year = {2012},
  publisher = {{ACM}},
  pages = {959-966},
  location = {Philadelphia, PA, USA}
}

@inproceedings{legoues12icse,
  title = {A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for \$8 Each},
  author = {Le~Goues, Claire and Dewey-Vogt, Michael and Forrest, Stephanie and Weimer, Westley},
  booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE)},
  doi = {10.1109/ICSE.2012.6227211},
  year = {2012},
  location = {Zurich, Switzerland},
  pages = {3--13},
  publisher = {{IEEE} Computer Society}
}

@article{genprog12tse,
  author = {{Le~Goues}, Claire and Nguyen, ThanhVu and Forrest, Stephanie and Weimer, Westley},
  title = {GenProg: {A} Generic Method for Automatic Software Repair},
  journal = {{IEEE} Trans. Software Eng.},
  volume = {38},
  number = {1},
  pages = {54--72},
  year = {2012},
  doi = {10.1109/TSE.2011.104}
}

@article{specmining12tse,
  author = {{Le~Goues}, Claire and Weimer, Westley},
  title = {Measuring Code Quality to Improve Specification Mining},
  journal = {{IEEE} Trans. Software Eng.},
  volume = {38},
  number = {1},
  pages = {175--190},
  year = {2012},
  doi = {10.1109/TSE.2011.5}
}

@inproceedings{fast10gecco,
  title = {Designing better fitness functions for automated program repair},
  doi = {10.1145/1830483.1830654},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)},
  author = {Fast, Ethan and {Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley},
  location = {Portland, OR, USA},
  year = {2010},
  publisher = {{ACM}},
  pages = {965-972}
}

@article{genprog-cacm10,
  title = {Automatic program repair with evolutionary computation},
  journal = {Communications of the ACM Research Highlight},
  author = {Weimer, Westley and Forrest, Stephanie and {Le~Goues}, Claire and Nguyen, ThanhVu},
  number = {5},
  volume = {53},
  year = {2010},
  pages = {109--116},
  doi = {10.1145/1735223.1735249}
}

@inproceedings{weimer09icse,
  title = {Automatically Finding Patches Using Genetic Programming},
  doi = {10.1109/ICSE.2009.5070536},
  booktitle = {Proceedings of the 31st International Conference on Software Engineering (ICSE)},
  year = {2009},
  location = {Vancouver, Canada},
  publisher = {{IEEE}},
  pages = {364--374},
  author = {Weimer, Westley and Nguyen, ThanhVu and {Le~Goues}, Claire and Forrest, Stephanie}
}

@inproceedings{legoues09tacas,
  title = {Specification Mining with Few False Positives.},
  doi = {10.1007/978-3-642-00768-2_26},
  ee = {http://dx.doi.org/10.1007/978-3-642-00768-2_26},
  booktitle = {Proceedings of the 15th Annual Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the Joint
                 European Conferences on Theory and Practice of Software (ETAPS)},
  author = {Le~Goues, Claire and Weimer, Westley},
  year = {2009},
  location = {York, UK},
  pages = {292--306},
  series = {Lecture Notes in Computer Science},
  volume = {5505},
  publisher = {Springer}
}

@inproceedings{groce22seip,
  author = {Groce, Alex and Jain, Kush and van Tonder, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire},
  title = {Looking for Lacunae in Bitcoin Core's Fuzzing Efforts},
  booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
                 Software Engineering in Practice, {ICSE} {(SEIP)}},
  pages = {185--186},
  publisher = {{IEEE}},
  year = {2022},
  doi = {10.1109/ICSE-SEIP55303.2022.9794086}
}

@inproceedings{shypula22dlc,
  author = {Shypula, Alexander G. and Yin, Pengcheng and Lacomis, Jeremy and {Le~Goues}, Claire and Schwartz, Edward J. and Neubig, Graham},
  title = {Learning to Superoptimize Real-World Programs},
  booktitle = {Deep Learning for Code Workshop},
  year = {2022},
  series = {DL4C '22}
}

@inproceedings{zizyte21dsn,
  author = {Zizyte, Milda and Hutchison, Casidhe and Duvall, Raewyn and {Le~Goues}, Claire and Koopman, Philip},
  title = {The Importance of Safety Invariants in Robustness Testing Autonomy
                 Systems},
  booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
                 and Networks, {DSN} 2021 - Supplemental
                 Volume},
  pages = {41--44},
  publisher = {{IEEE}},
  year = {2021},
  doi = {10.1109/DSN-S52858.2021.00028}
}

@inproceedings{dsn20riot,
  title = {Robustness Inside Out Testing},
  author = {Katz, Deborah and Zizyte, Milda and Hutchison, Casidhe and Guttendorf, David and Lanigan, Patrick and Sample, Eric and Koopman, Philip and Wagner, Michael and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) -- Industry Track},
  pages = {1--4},
  publisher = {{IEEE}},
  year = {2020},
  url = {https://doi.org/10.1109/DSN-S50200.2020.00013},
  doi = {10.1109/DSN-S50200.2020.00013},
  location = {Valencia, Spain}
}

@inproceedings{msr19rvt,
  author = {{van Tonder}, Rijnard and {Trockman}, Asher and {Le~Goues}, Claire},
  booktitle = {2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)},
  title = {A Panel Data Set of Cryptocurrency Development Activity on GitHub},
  year = {2019},
  pages = {186--190},
  doi = {10.1109/MSR.2019.00037},
  location = {Montreal, Canada},
  publisher = {{IEEE}/{ACM}},
  url = {https://doi.org/10.1109/MSR.2019.00037}
}

@inproceedings{gi19,
  author = {Ding, Zhen Yu and Lyu, Yiwei and Timperley, Christopher and {Le~Goues}, Claire},
  booktitle = {2019 IEEE/ACM International Workshop on Genetic Improvement (GI)},
  title = {Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair},
  year = {2019},
  volumeb = {},
  number = {},
  pages = {2-9},
  keywords = {Maintenance engineering;Semantics;Sociology;Statistics;Genetic programming;Computer bugs;genetic programming;automated program repair;program semantics;invariant analysis;fitness function},
  doi = {10.1109/GI.2019.00011},
  issn = {}
}

@inproceedings{botse19,
  author = {{van Tonder}, Rijnard and {Le~Goues}, Claire},
  booktitle = {2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE)},
  title = {Towards s/engineer/bot: Principles for Program Repair Bots},
  year = {2019},
  volume = {},
  number = {},
  pages = {43-47},
  keywords = {Syntactics;Maintenance engineering;Computer bugs;Tools;Semantics;Software;Automation;software bots;program transformation;automation;software quality;refactoring;automatic program repair},
  doi = {10.1109/BotSE.2019.00019},
  issn = {}
}

@inproceedings{poster18bugzoo,
  title = {Poster: BugZoo: A Platform for Studying Software Bugs},
  author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings (ICSE Poster)},
  pages = {446--447},
  doi = {10.1145/3183440.3195050},
  publisher = {ACM},
  year = {2018},
  location = {Gothenburg, Sweden},
  github = {https://github.com/squareslab/bugzoo}
}

@inproceedings{msr18mau,
  title = {Common Statement Kind Changes to Inform Automatic Program Repair},
  author = {Soto, Mauricio and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge)},
  pages = {102--105},
  year = {2018},
  doi = {10.1145/3196398.3196472},
  location = {Gothenburg, Sweden},
  github = {https://github.com/squaresLab/ChallengeMau_MSRChallenge2018}
}

@inproceedings{msr18afsoon,
  title = {A Study on the Use of {IDE} Features for Debugging},
  author = {Afzal, Afsoon and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 15th International Conference on Mining Software Repositories (MSR Challenge)},
  year = {2018},
  pages = {114--117},
  doi = {10.1145/3196398.3196468},
  location = {Gothenburg, Sweden}
}

@inproceedings{gi18,
  author = {Afzal, Afsoon and Lacomis, Jeremy and {Le~Goues}, Claire and Timperley, Christopher S.},
  title = {A Turing Test for Genetic Improvement (Position Paper)},
  booktitle = {Proceedings of the 4th International Genetic Improvement Workshop},
  series = {GI '18},
  pages = {17--18},
  year = {2018},
  doi = {10.1145/3194810.3194817},
  publisher = {ACM},
  location = {Gothenburg, Sweden}
}

@inproceedings{issta-tools17,
  author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem},
  title = {JFix: {S}emantics-based repair of {J}ava programs via Symbolic Path{F}inder},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis (ISSTA Tools)},
  pages = {376--379},
  location = {Santa Barbara, CA, USA},
  doi = {10.1145/3092703.3098225},
  year = {2017},
  publisher = {ACM},
  website = {https://xuanbachle.github.io/semanticsrepair/}
}

@inproceedings{soto2017msr,
  author = {Soto, Mauricio and Coker, Zack and {Le~Goues}, Claire},
  title = {Analyzing the Impact of Social Attributes on Commit Integration Success},
  doi = {10.1109/MSR.2017.34},
  booktitle = {Proceedings of the 14th International Conference on Mining Software Repositories (MSR Challenge)},
  year = {2017},
  location = {Buenos Aires, Argentina},
  pages = {483--486},
  publisher = {{IEEE} Computer Society},
  github = {https://github.com/squaresLab/MSR-challenge-2017}
}

@inproceedings{bach-era16b,
  author = {Le, Xuan-Bach D. and Le, Quang Loc and Lo, David and {Le~Goues}, Claire},
  title = {Enhancing Automated Program Repair with Deductive Verification},
  booktitle = {Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA)},
  doi = {10.1109/ICSME.2016.66},
  pages = {428--432},
  year = {2016},
  location = {Raleigh, NC, USA},
  publisher = {{IEEE} Computer Society}
}

@inproceedings{bach-era16a,
  author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire},
  title = {Empirical Study on Synthesis Engines for Semantics-based Program Repair},
  booktitle = {Proceedings of the 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME ERA)},
  doi = {10.1109/ICSME.2016.68},
  pages = {423--427},
  year = {2016},
  location = {Raleigh, NC, USA},
  publisher = {{IEEE} Computer Society}
}

@inproceedings{dsnw16,
  author = {Weimer, Westley and Forrest, Stephanie and Kim, Miryung and {Le~Goues}, Claire and Hurley, Patrick},
  title = {Trusted Software Repair for System Resiliency},
  booktitle = {Proceedings of the 46th Annual {IEEE/IFIP} International Conference on Dependable Systems
                 and Networks Workshops (DSN Workshops)},
  pages = {238--241},
  year = {2016},
  location = {Toulouse, France},
  publisher = {{IEEE} Computer Society},
  doi = {10.1109/DSN-W.2016.64}
}

@inproceedings{vantonder-icpc16,
  author = {van~{T}onder, Rijnard and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC Short)},
  title = {Defending against the attack of the micro-clones},
  year = {2016},
  location = {Austin, TX, USA},
  pages = {1--4},
  publisher = {{IEEE} Computer Society},
  doi = {10.1109/ICPC.2016.7503736},
  github = {https://github.com/kilida/boa-scripts}
}

@inproceedings{kery16msr,
  author = {Kery, Mary Beth and {Le~Goues}, Claire and Myers, Brad A.},
  title = {Examining Programmer Practices for Locally Handling Exceptions},
  booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge)},
  year = {2016},
  old_isbn = {978-1-4503-4186-8},
  pages = {484--487},
  numpages = {4},
  doi = {10.1145/2901739.2903497},
  acmid = {2903497},
  location = {Austin, TX, USA},
  publisher = {{ACM}}
}

@inproceedings{soto2016,
  author = {Soto, Mauricio and Thung, Ferdian and Wong, Chu-Pan and {Le~Goues}, Claire and Lo, David},
  title = {A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions},
  booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories (MSR Challenge)},
  year = {2016},
  pages = {512--515},
  numpages = {4},
  doi = {10.1145/2901739.2903495},
  location = {Austin, TX, USA},
  publisher = {{ACM}},
  github = {https://github.com/chupanw/BoaChallenge}
}

@inproceedings{coker15seams,
  author = {Coker, Zack and Garlan, David and {Le~Goues}, Claire},
  title = {{SASS:} Self-Adaptation Using Stochastic Search},
  booktitle = {Proceedings of the 10th {IEEE/ACM} International Symposium on Software Engineering for
                 Adaptive and Self-Managing Systems (SEAMS)},
  pages = {168--174},
  year = {2015},
  doi = {10.1109/SEAMS.2015.16},
  location = {Florence, Italy},
  publisher = {{IEEE} Computer Society}
}

@inproceedings{legoues11sefm,
  author = {{Le~Goues}, Claire and Leino, K. Rustan M. and Moskal, Michal},
  title = {The Boogie Verification Debugger (Tool Paper)},
  booktitle = {Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM)},
  pages = {407--414},
  year = {2011},
  location = {Montevideo, Uruguay},
  series = {Lecture Notes in Computer Science},
  volume = {7041},
  publisher = {Springer},
  doi = {10.1007/978-3-642-24690-6_28}
}

@inproceedings{legoues10foser,
  author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley},
  title = {The case for software evolution},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering Research (FoSER),
                 at the 18th {ACM} {SIGSOFT} International Symposium on
                 Foundations of Software Engineering},
  pages = {205--210},
  year = {2010},
  location = {Santa Fe, NM, USA},
  publisher = {{ACM}},
  doi = {10.1145/1882362.1882406}
}

@inproceedings{nguyen09icst,
  author = {Nguyen, ThanhVu and Weimer, Westley and {Le~Goues}, Claire and Forrest, Stephanie},
  title = {Extended Abstract: Using Execution Paths to Evolve Software Patches},
  booktitle = {Second International Conference on Software Testing Verification and
                 Validation, Workshops Proceedings},
  location = {Denver, CO, USA},
  publisher = {{IEEE} Computer Society},
  pages = {152--153},
  year = {2009},
  doi = {10.1109/ICSTW.2009.35}
}

@article{legoues21ieeesw,
  author = {{Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik and Chandra, Satish},
  title = {Automatic Program Repair},
  journal = {{IEEE} Softw.},
  volume = {38},
  number = {4},
  pages = {22--27},
  year = {2021},
  doi = {10.1109/MS.2021.3072577}
}

@proceedings{ase20,
  editor = {Grundy, John and {Le~Goues}, Claire and Lo, David},
  title = {35th {IEEE/ACM} International Conference on Automated Software Engineering
                 Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25,
                 2020},
  publisher = {{ACM}},
  year = {2020},
  url = {https://doi.org/10.1145/3417113},
  doi = {10.1145/3417113},
  isbn = {978-1-4503-8128-4},
  timestamp = {Fri, 12 Feb 2021 15:16:32 +0100},
  biburl = {https://dblp.org/rec/conf/kbse/2020w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ese18overfitJF,
  title = {Overfitting in semantics-based automated program repair},
  author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering (Journal First)},
  series = { ICSE (Journal First) 2018},
  pages = {163},
  publisher = {ACM},
  doi = {10.1145/3180155.3182536},
  year = {2018},
  location = {Gothenburg, Sweden}
}

@article{dagstuhl18,
  author = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.},
  title = {{Genetic Improvement of Software (Dagstuhl Seminar 18052)}},
  pages = {158--182},
  journal = {Dagstuhl Reports},
  issn = {2192-5283},
  year = {2018},
  volume = {8},
  number = {1},
  editor = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/DagRep.8.1.158}
}

@article{ese-guest17,
  author = {{Le~Goues}, Claire and Yoo, Shin},
  title = {Guest editorial for special section on research in search-based software
                 engineering},
  journal = {Empirical Software Engineering},
  volume = {22},
  number = {2},
  pages = {849--851},
  year = {2017},
  old_url = {https://doi.org/10.1007/s10664-017-9504-6},
  doi = {10.1007/s10664-017-9504-6}
}

@article{tse17comment,
  author = {{Le~Goues}, Claire and Brun, Yuriy and Forrest, Stephanie and Weimer, Westley},
  journal = {{IEEE} Trans. Software Eng.},
  title = {Clarifications on the Construction
  and Use of the {M}any{B}ugs Benchmark (Comment Paper)},
  volume = {43},
  number = {11},
  pages = {1089--1090},
  year = {2017},
  doi = {10.1109/TSE.2017.2755651}
}

@article{dagstuhl17,
  author = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik},
  title = {{Automated Program Repair (Dagstuhl Seminar 17022)}},
  pages = {19--31},
  journal = {Dagstuhl Reports},
  issn = {2192-5283},
  year = {2017},
  volume = {7},
  number = {1},
  editor = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  doi = {10.4230/DagRep.7.1.19},
  annote = {Keywords: Program repair, program analysis, software engineering}
}

@proceedings{ssbse14,
  editor = {{Le~Goues}, Claire and Yoo, Shin},
  title = {Proceedings of the 6th International Symposium on Search-Based Software Engineering, {SSBSE}
                 2014, Fortaleza, Brazil, August 26-29, 2014},
  series = {Lecture Notes in Computer Science},
  volume = {8636},
  publisher = {Springer},
  year = {2014},
  doi = {10.1007/978-3-319-09940-8},
  isbn = {978-3-319-09939-2},
  timestamp = {Mon, 21 Jul 2014 13:11:30 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ssbse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@incollection{helix-mtd13,
  author = {{Le~Goues}, Claire and Nguyen-Tuong, Anh and Chen, Hao and Davidson, Jack W. and Forrest, Stephanie and Hiser, Jason and Knight, John C. and Gundy, Matthew Van},
  title = {Moving Target Defenses in the Helix Self-Regenerative Architecture},
  booktitle = {Moving Target Defense {II} - Application of Game Theory and Adversarial
                 Modeling},
  pages = {117--149},
  year = {2013},
  publisher = {Springer},
  doi = {10.1007/978-1-4614-5416-8_7}
}

@inproceedings{gecco12tutorial,
  author = {Forrest, Stephanie and {Le~Goues}, Claire},
  title = {Evolutionary software repair (Invited Tutorial)},
  booktitle = {Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings},
  pages = {1345--1348},
  year = {2012},
  doi = {10.1145/2330784.2330943},
  publisher = {{ACM}},
  location = {Philadelpha, PA, USA}
}

@phdthesis{legoues-dissertation,
  author = {{Le~Goues}, Claire},
  title = {Automatic Program Repair Using Genetic Programming},
  school = {University of Virginia},
  year = {2013}
}

@mastersthesis{legoues-masters,
  author = {{Le~Goues}, Claire},
  title = {Specification Mining With Few False Positives},
  school = {University of Virginia},
  year = {2009}
}