2024
Verifying the Option Type with Rely-Guarantee Reasoning.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies.
Proceedings of the Companion Proceedings of the 29th International Conference on Intelligent User Interfaces, 2024
FRAFOL: FRAmework FOr Learning mutation testing.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Call Graph Soundness in Android Static Analysis.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Productive Coverage: Improving the Actionability of Code Coverage.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024
rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
AI-Assisted Assessment of Coding Practices in Modern Code Review.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
2023
JUGE: An infrastructure for benchmarking Java unit test generators.
Softw. Test. Verification Reliab., May, 2023
rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality.
CoRR, 2023
Generate Compilers from Hardware Models!
CoRR, 2023
MuRS: Mutant Ranking and Suppression using Identifier Templates.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Please fix this mutant: How do developers resolve mutants surfaced during code review?
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
On the Applicability of Language Models to Block-Based Programs.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
Practical Mutation Testing at Scale: A view from Google.
IEEE Trans. Software Eng., 2022
Quality of Automated Program Repair on Real-World Defects.
IEEE Trans. Software Eng., 2022
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications.
ACM Trans. Comput. Hum. Interact., 2022
How do Java mutation tools differ?
Commun. ACM, 2022
Contextualized Programming Language Documentation.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Prioritizing Mutants to Guide Mutation Testing.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
2021
Practical Mutation Testing at Scale.
CoRR, 2021
Removing biased data to improve fairness and accuracy.
CoRR, 2021
Does mutation testing improve testing practices?
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
Defects4J as a Challenge Case for the Search-Based Software Engineering Community.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
Special issue on mutation testing and analysis.
Softw. Test. Verification Reliab., 2019
Tea: A High-level Language and Runtime System for Automating Statistical Analysis.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
Guiding testing effort using mutant utility.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
2018
Do automated program repair techniques repair hard and important bugs?
Empir. Softw. Eng., 2018
Comparing developer-provided to user-provided tests for fault localization and automated program repair.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
2017
Special issue on Mutation Testing.
Inf. Softw. Technol., 2017
Inferring mutant utility from program context.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Private API Access and Functional Mocking in Automated Unit Test Generation.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Evaluating and improving fault localization.
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Tailored Mutants Fit Bugs Better.
CoRR, 2016
Unit testing tool competition: round four.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016
2015
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators.
Softw. Test. Verification Reliab., 2015
Collaborative Verification of Information Flow for a High-Assurance App Store.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
Are mutants a valid substitute for real faults in software testing?
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Defects4J: a database of existing faults to enable controlled testing studies for Java programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Efficient mutation analysis by propagating and partitioning infected execution states.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
The major mutation framework: efficient and scalable mutation analysis for Java.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Collaborative Verification of Information Flow for a High-Assurance App Store.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
2013
On effective and efficient mutation analysis for unit and integration testing.
PhD thesis, 2013
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis
CoRR, 2013
2012
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Automating unit and integration testing with partial oracles.
Softw. Qual. J., 2011
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Using conditional mutation to increase the efficiency of mutation analysis.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011
2010
Automating software tests with partial oracles in integrated environments.
Proceedings of the 5th Workshop on Automation of Software Test, 2010
2009
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
2008
Benchmarking Testing Strategies with Tools from Mutation Analysis.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008