Claire Le Goues

Goutamkumar Tulajappa Kalburgi

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

CAT-LM Training Language Models on Aligned Code And Tests.

[BibT_eX]

[DOI]

Vincent J. Hellendoorn

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

MELT: Mining Effective Lightweight Transformations from Pull Requests.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts.

[BibT_eX]

[DOI]

Kush Jain

Alex Groce

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

2022

Quality of Automated Program Repair on Real-World Defects.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software.

[BibT_eX]

[DOI]

Deborah S. Katz

CoRR, 2022

Augmenting Decompiler Output with Learned Variable Names and Types.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report).

[BibT_eX]

[DOI]

Kevin Leach

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts.

[BibT_eX]

[DOI]

Alex Groce

Kush Jain

Goutamkumar Tulajappa Kalburgi

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

Making no-fuss compiler fuzzing effective.

[BibT_eX]

[DOI]

Alex Groce

Goutamkumar Tulajappa Kalburgi

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

SOSRepair: Expressive Semantic Search for Real-World Program Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Information Reuse and Stochastic Search: Managing Uncertainty in Self-<sup>*</sup> Systems.

[BibT_eX]

[DOI]

Cody Kinneer

David Garlan

ACM Trans. Auton. Adapt. Syst., 2021

Automatic Program Repair.

[BibT_eX]

[DOI]

IEEE Softw., 2021

Understanding and improving artifact sharing in software engineering research.

[BibT_eX]

[DOI]

Lauren Herckis

Michael Hilton

Empir. Softw. Eng., 2021

Learning to Superoptimize Real-world Programs.

[BibT_eX]

[DOI]

CoRR, 2021

GzScenic: Automatic Scene Generation for Gazebo Simulator.

[BibT_eX]

[DOI]

CoRR, 2021

FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications.

[BibT_eX]

[DOI]

Zack Coker

Joshua Sunshine

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

VarFix: balancing edit expressiveness and search effectiveness in automated program repair.

[BibT_eX]

[DOI]

Chu-Pan Wong

Priscila Santiesteban

Christian Kästner

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

An Empirical Study of OSS-Fuzz Bugs.

[BibT_eX]

[DOI]

Zhen Yu Ding

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Simulation for Robotics Test Automation: Developer Perspectives.

[BibT_eX]

[DOI]

Deborah S. Katz

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

SOAR: A Synthesis Approach for Data Science API Refactoring.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

The Importance of Safety Invariants in Robustness Testing Autonomy Systems.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

A Study on the Challenges of Using Robotics Simulators for Testing.

[BibT_eX]

[DOI]

Deborah S. Katz

CoRR, 2020

Empirical Study of Restarted and Flaky Builds on Travis CI.

[BibT_eX]

[DOI]

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

A Study on Challenges of Testing Robotic Systems.

[BibT_eX]

[DOI]

Michael Hilton

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Tailoring programs for static analysis via program transformation.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robustness Inside Out Testing.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

Building Reusable Repertoires for Stochastic Self-* Planners.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Model-Based Adaptation for Robotics Software.

[BibT_eX]

[DOI]

Anahita Mohseni-Kabir

Ivan Ruchkin

Selva Samuel

Bradley R. Schmerl

IEEE Softw., 2019

Automated program repair.

[BibT_eX]

[DOI]

Michael Pradel

Abhik Roychoudhury

Commun. ACM, 2019

Lightweight multi-language syntax transformation with parser parser combinators.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

A panel data set of cryptocurrency development activity on GitHub.

[BibT_eX]

[DOI]

Asher Trockman

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Modeling observability in adaptive systems to defend against advanced persistent threats.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

DIRE: A Neural Approach to Decompiled Identifier Naming.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Qualitative Study on Framework Debugging.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Towards s/engineer/bot: principles for program repair bots.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Bots in Software Engineering, 2019

Leveraging program invariants to promote population diversity in search-based automatic program repair.

[BibT_eX]

[DOI]

Zhen Yu Ding

Yiwei Lyu

Vinicius Paulo L. Oliveira

Proceedings of the 6th International Workshop on Genetic Improvement, 2019

2018

Bridging the Gap: From Research to Practical Advice.

[BibT_eX]

[DOI]

IEEE Softw., 2018

Improved representation and genetic operators for linear genetic programming for automated program repair.

[BibT_eX]

[DOI]

Eduardo Faria de Souza

Celso G. Camilo-Junior

Empir. Softw. Eng., 2018

Overfitting in semantics-based automated program repair.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Genetic Improvement of Software (Dagstuhl Seminar 18052).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2018

Debugging Framework Applications: Benefits and Challenges.

[BibT_eX]

[DOI]

CoRR, 2018

Effectiveness of anonymization in double-blind review.

[BibT_eX]

[DOI]

Commun. ACM, 2018

Using a probabilistic model to predict bug fixes.

[BibT_eX]

[DOI]

Mauricio Soto

Proceedings of the 25th International Conference on Software Analysis, 2018

Cross-Architecture Lifter Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Common statement kind changes to inform automatic program repair.

[BibT_eX]

[DOI]

Mauricio Soto

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

A study on the use of IDE features for debugging.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Semantic crash bucketing.

[BibT_eX]

[DOI]

John Kotheimer

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Meaningful variable names for decompiled code: a machine translation approach.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Static automated program repair for heap properties.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

BugZoo: a platform for studying software bugs.

[BibT_eX]

[DOI]

Susan Stepney

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Robustness testing of autonomy software.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

A turing test for genetic improvement.

[BibT_eX]

[DOI]

Jeremy Lacomis

Proceedings of the 4th International Genetic Improvement Workshop, 2018

A novel fitness function for automated program repair based on source code checkpoints.

[BibT_eX]

[DOI]

Eduardo Faria de Souza

Celso Gonçalves Camilo-Junior

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Clarifications on the Construction and Use of the ManyBugs Benchmark.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Guest editorial for special section on research in search-based software engineering.

[BibT_eX]

[DOI]

Shin Yoo

Empir. Softw. Eng., 2017

Automated Program Repair (Dagstuhl Seminar 17022).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

An Investigation into the Use of Mutation Analysis for Automated Program Repair.

[BibT_eX]

[DOI]

Susan Stepney

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Toward Semantic Foundations for Program Editors.

[BibT_eX]

[DOI]

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

S3: syntax- and semantic-guided repair synthesis via programming by examples.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Analyzing the impact of social attributes on commit integration success.

[BibT_eX]

[DOI]

Mauricio Soto

Zack Coker

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

JFIX: semantics-based repair of Java programs via symbolic PathFinder.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Behavior Metrics for Prioritizing Investigations of Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016

History Driven Program Repair.

[BibT_eX]

[DOI]

Xuan-Bach Dinh Le

David Lo

Vinicius Paulo L. Oliveira

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Improved Crossover Operators for Genetic Programming for Program Repair.

[BibT_eX]

[DOI]

Eduardo F. D. Souza

Celso G. Camilo-Junior

Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

A deeper look into bug fixes: patterns, replacements, deletions, and additions.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Examining programmer practices for locally handling exceptions.

[BibT_eX]

[DOI]

Mary Beth Kery

Brad A. Myers

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Defending against the attack of the micro-clones.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Learning to rank for bug report assignee recommendation.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

A learning-to-rank based fault localization approach using likely invariants.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Enhancing Automated Program Repair with Deductive Verification.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Empirical Study on Synthesis Engines for Semantics-Based Program Repair.

[BibT_eX]

[DOI]

Xuan-Bach Dinh Le

David Lo

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Trusted Software Repair for System Resiliency.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Is the cure worse than the disease? overfitting in automated program repair.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Repairing Programs with Semantic Code Search (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

SASS: Self-Adaptation Using Stochastic Search.

[BibT_eX]

[DOI]

Zack Coker

David Garlan

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Evaluating the Flexibility of the Java Sandbox.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2013

Moving Target Defenses in the Helix Self-Regenerative Architecture.

[BibT_eX]

[DOI]

Proceedings of the Moving Target Defense II, 2013

Current challenges in automatic software repair.

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

2012

Measuring Code Quality to Improve Specification Mining.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

GenProg: A Generic Method for Automatic Software Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Representations and operators for improving evolutionary software repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Evolutionary software repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011

The Boogie Verification Debugger (Tool Paper).

[BibT_eX]

[DOI]

K. Rustan M. Leino

Michal Moskal

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Automatic program repair with evolutionary computation.

[BibT_eX]

[DOI]

Commun. ACM, 2010

The case for software evolution.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Designing better fitness functions for automated program repair.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Specification Mining with Few False Positives.

[BibT_eX]

[DOI]