Awesome Mutation Testing

Mutation testing evaluates a test suite by introducing small changes—called mutants—into a program and checking whether the tests detect them.

This repository catalogues mutation-testing tools, publications, talks, tutorials, and other resources. Projects are included for their practical, educational, research or historical value. Inclusion does not imply that a project is actively maintained.

Discord Invite

Contents

• Tools
• Archived tools
• Related tools
• Publications
• Blogs/Posts
• Videos
• Conference presentations
• Conferences
• Examples and practical resources
• Tutorials

Tools

• Alloy
  • MuAlloy
    • MuAlloy papers
• C/C++
  • llvm-mutate - An LLVM-based mutation tool for C and C++.
  • Frama-C Mutation - A Frama-C plug-in for generating mutant C programs.
  • Mull - An LLVM-based mutation-testing and fault-injection tool for C and C++.
  • Mutate++
  • MuCPP - A mutation system for applying class-level operators to C++ programs.
    • Assessment of Class Mutation Operators for C++ with the MuCPP Mutation System
  • AccMut - An LLVM IR-based framework for accelerating mutation testing.
    • Faster mutation analysis via equivalence modulo states
  • MUSIC - A configurable and extensible mutation-analysis tool for C programs.
    • MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
  • Dextool Mutate - A mutation-testing plug-in in the LLVM- and Clang-based Dextool suite.
  • SRCIROR - A mutation tool for C source code and LLVM IR.
    • SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation
  • MART - A configurable mutation-testing framework based on LLVM.
• C#
  • Stryker.NET - A mutation-testing tool for .NET Framework and .NET.
  • Fettle - An experimental mutation-testing tool for C#.
  • Testura.Mutation
  • Faultify - A bytecode-level mutation-testing tool for .NET.
• Clojure
  • mutant
• Crystal
  • crytic
• Elixir
  • Mutation
• Erlang
  • Muterl
• Go
  • go-mutesting
  • Ooze
  • Gremlins
• Haskell
  • MuCheck
  • FitSpec - A tool that uses mutations to refine properties for testing Haskell programs.
• Java/JVM
  • PIT - A bytecode-level mutation-testing system for the JVM.
    • PIT: A Practical Mutation Testing Tool for Java (Demo)
    • An Experimental Evaluation of PIT’s Mutation Operators
    • Introduction to Mutation Testing
    • Faster Mutation Testing (in Java)
  • LittleDarwin - A Java mutation-testing framework implemented in Python.
    • LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
  • metamutator - A Java mutation engine based on mutant schemata and metaprogramming.
  • Major - A compiler-integrated mutation-testing system for Java.
    • Publications related to the Major mutation framework
• JavaScript
  • StrykerJS - A mutation-testing framework for JavaScript and TypeScript.
  • testtruth - A tool that compares mutation results before and after a Git diff to detect weakened JavaScript and TypeScript tests.
• Kotlin
  • Mutant Kraken
  • mutflow - A Kotlin library that performs mutation testing within the test suite after a single compilation.
• PHP
  • Infection
  • Pest PHP - Mutation testing integrated into the Pest PHP testing framework.
• Python
  • Cosmic Ray
  • mutmut
• R
  • mutator
  • muttest - A mutation-testing tool for assessing test assertions in R.
• Ruby
  • Mutant
    • Kill all the mutants - a deep dive into mutation testing and how the Mutant gem works
  • mutest - A fork of Mutant with additional mutations and inline disable comments.
• Rust
  • cargo-mutants - A Cargo-based mutation-testing tool for Rust.
  • mutagen - A mutation-testing plug-in for Rust.
• Scala
  • Scalamu
  • Stryker4s
• Smalltalk
  • MuTalk - A mutation-testing tool for Pharo Smalltalk.
• Simulink
  • MUT4SLX - A model-based mutation-testing framework for Simulink and Stateflow models in MATLAB.
    • Reproduction Package
    • MUT4SLX: Fast mutant generation for Simulink
    • MUT4SLX: Extensions for Mutation Testing of Stateflow Models
• Solidity / Smart Contracts
  • Gambit - A mutation generator for improving specifications and test suites for Solidity contracts.
  • vertigo-rs - A mutation-testing tool for Ethereum smart contracts using Foundry.
  • vertigo
• Swift
  • Muter
• OCaml
  • Mutaml
• Lean
  • Mutate.lean
• Other
  • Universal Mutator - A regular-expression-based mutation tool for source code in multiple languages.
  • boggart - A lightweight, extensible, language-independent mutation-testing framework.
  • Mutahunter - An open-source, language-agnostic mutation-testing tool.
  • Bough - A polyglot incremental mutation-testing tool.

Related tools

Tools that are not mutation-testing tools themselves, but apply the same loop to a different subject.

• VisMAn - A visualisation tool for mutation-testing results.
• greencheck - A mutation-testing harness for validators and quality gates rather than for program code: it mutates the checker's input, reruns the checker for each mutant, and reports which mutations the gate fails to reject.

Publications

Publication titles retain their original spelling. Entries link to DOI or publisher pages or to locally archived copies when redistribution is permitted.

Papers

Local PDF links to a file stored in this repository. External links to another website.

• External: Mario Rosano Barroso (2026) Aplicación de modelos de aprendizaje profundo al Predictive Mutation Testing
• Local PDF: Hervé Robert, Shubho Sengupta (2025) Mutation-Guided LLM-based Test Generation at Meta
• Local PDF: Jeongju Sohn, Ezekiel Soremekun, Michail Papadakis (2025) Latent Mutants: A large-scale study on the Interplay between mutation testing and software evolution
• External: Deniz Eren, Gabriele Taentzer, Sascha Lehmann, Freya Dorn, Daniel Neufeld, Christoph Bockisch (2025) Advanced Mutation Testing of Java Bytecode Using Model Transformation
• External: Bekzat Skakov (2025) LLM-DRIVEN MUTATION TESTING IN MICROARCHITECTURE VERIFICATION
• Local PDF: Marcela G. dos Santos, Sylvain Hallé, Fábio Petrillo (2025) Mutation Testing for Industrial Robotic Systems — DOI
• External: Pablo Gómez‐Abajo, Esther Guerra, Juan de Lara (2025) Wodel-Test: A model-based framework for engineering language-specific mutation testing tools
• Local PDF: Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González (2024) An automated OpenMP mutation testing framework for performance optimization — DOI
• Local PDF: Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone (2024) Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts
• External: Kadiatou Diallo, Zizhao Chen, W. E. Wong, Shou-Yu Lee (2024) An Analysis and Comparison of Mutation Testing Tools for Python
• Local PDF: Zhifei Chen, Yang Hao, Qichao Liu, Yuyong Liu, Mingyang Zhu, Liang Xiao (2024) Deep Learning for Hyperspectral Image Classification: A Critical Evaluation via Mutation Testing — DOI
• External: Serhat Uzunbayir, Kaan Kurtel (2024) Leveraging Genetic Algorithms for Efficient Search-Based Higher Order Mutation Testing
• External: Erasmo Junkes (2024) Mutant Codebraker: A game to assist in teaching mutation testing
• External: Yichun Wang, Zhiyi Zhang, Yongming Yao, Zhiqiu Huang (2023) A Fine-Grained Evaluation of Mutation Operators for Deep Learning Systems: A Selective Mutation Approach
• External: Sergen Aşik, Uğur Yayan (2023) Generating Python Mutants From Bug Fixes Using Neural Machine Translation
• External: Miloš Ojdanić, Ahmed Khanfir, Aayush Garg, R. Degiovanni, Mike Papadakis, Yves Le Traon (2023) On Comparing Mutation Testing Tools through Learning-based Mutant Selection
• External: Ezio Bartocci, Leonardo Mariani, Dejan Ničković, Drishti Yadav (2023) Property-Based Mutation Testing
• Local PDF: Pedro Delgado-Pérez, Ana B. Sánchez, Sergio Segura, Inmaculada Medina-Bulo (2022) Mutation testing in the wild: findings from GitHub — DOI
• Local PDF: Giovani Guizzo, Federica Sarro, Jens Krinke, Silvia Regina Vergilio (2022) Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies — DOI
• Local PDF: Deepti Mishra, Biswaranjan Acharya, Dharashree Rath, Vassilis C. Gerogiannis, Andreas Kanavos (2022) A Novel Real Coded Genetic Algorithm for Software Mutation Testing — DOI
• External: Nishtha Jatana, Bharti Suri (2022) Application of Nature Inspired Algorithms to Test Data Generation/Selection/Minimization using Mutation Testing
• External: Miloš Ojdanić (2022) Change-aware mutation testing for evolving systems
• External: Matheus Yudi Fujiike Ferreira (2022) Generation test data for weak mutation testing using search-based techniques
• External: Sara Tarek ElSayed Abbas, Rohayanti Hassan, Shahliza Abd Halim, Shahreen Kasim, Rohaizan Ramlan (2022) Investigation on Java Mutation Testing Tools
• External: Li-Chao Feng, Xing-Ya Wang, Shi-Yu Zhang, Rui-Zhi Gao, Zhi-Hong Zhao (2022) Mutation Operator Reduction for Cost-effective Deep Learning Software Testing via Decision Boundary Change Measurement
• Local PDF: Miloš Ojdanić, Ezekiel Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon (2022) Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution — DOI
• External: Daniel Fortunato, José Campos, Rui Abreu (2022) Mutation Testing of Quantum Programs: A Case Study With Qiskit
• External: Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali (2022) Mutation-based test generation for quantum programs with multi-objective search
• External: Daniel Fortunato, José Campos, Rui Abreu (2022) QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
• External: Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini (2022) ReSuMo: Regression Mutation Testing for Solidity Smart Contracts
• External: Van-Nho Do, Quang-Vu Nguyen, Thanh-Binh Nguyen (2022) Toward Improving the Quality of Mutation Operator and Test Case Effectiveness in Higher-Order Mutation Testing
• Local PDF: Goran Petrović, Marko Ivanković, Gordon Fraser, René Just (2021) Practical Mutation Testing at Scale: A view from Google — DOI
• Local PDF: Goran Petrović, Marko Ivanković, Gordon Fraser, René Just (2021) Does mutation testing improve testing practices? — DOI
• External: Zhenpeng Liu, Xianwei Yang, Yi Liu, Yonggang Zhao, Xiaofei Li (2021) ImReMuDF: Redundant Mutants Identification Method Based on Definition and Reference of Variables
• External: Jinlei Sun, Song Huang, Changyou Zheng, Tingyong Wang, Cheng Zong, Zhanwei Hui (2021) Mutation testing for integer overflow in ethereum smart contracts
• External: Galina Cherneva, Pavlо Khalimov (2021) MUTATION TESTING OF ACCESS CONTROL POLICIES
• External: Changqing Wei, Xiangjuan Yao, Dunwei Gong, Huai Liu (2021) Spectral clustering based mutant reduction for mutation testing
• Local PDF: Y. Ivanova, A. Khritankov (2020) RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts — DOI
• Local PDF: Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo (2020) Performance mutation testing — DOI
• External: Beatriz Souza, Rohit Gheyi (2020) A Lightweight Technique to Identify Equivalent Mutants
• Local PDF: Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari, Jeff Offutt, Leo Fernandes, Márcio Ribeiro (2019) A Systematic Literature Review of Techniques and Metrics to Reduce the Cost of Mutation Testing — DOI
• Local PDF: August Shi, Jonathan Bell, Darko Marinov (2019) Mitigating the Effects of Flaky Tests on Mutation Testing — DOI
• Local PDF: Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara (2019) Towards effective mutation testing for ATL
• Local PDF: Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, Mark Harman (2019) Mutation Testing Advances: An Analysis and Survey — DOI
• External: Jackson Antonio do Prado Lima, Silvia Regina Vergilio (2019) A systematic mapping study on higher order mutation testing
• External: Serhat Uzunbayir, Kaan Kurtel (2019) An Analysis on Mutation Testing Tools For C# Programming Language
• External: Muhammad Bilal Bashir, Aamer Nadeem (2019) An Evolutionary Mutation Testing System for Java Programs: eMuJava
• External: Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao (2019) DeepMutation++: A Mutation Testing Framework for Deep Learning Systems
• External: Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong (2019) Deviant: A Mutation Testing Tool for Solidity Smart Contracts
• External: Alex Alberto (2019) Formal mutation testing in Circus process algebra
• Local PDF: Yoo-Min Choi, Dong-Jin Lim (2019) Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization — DOI
• External: Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher (2019) Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
• External: Tomasz Lewowski, Lech Madeyski (2019) Mutants as Patches: Towards a formal approach to Mutation Testing
• External: Nishtha Jatana, Bharti Suri (2019) Particle Swarm and Genetic Algorithm applied to mutation testing for test data generation: A comparative evaluation
• External: Thomas Laurent, Anthony Ventresque (2019) PIT-HOM: an Extension of Pitest for Higher Order Mutation Analysis
• External: Muhammad Rashid Naeem, Tao Lin, Hamad Naeem, Farhan Ullah, Saqib Saeed (2019) Scalable Mutation Testing Using Predictive Analysis of Deep Learning Model
• Local PDF: Lin Deng, Jeff Offutt (2018) Reducing the Cost of Android Mutation Testing
• Local PDF: Goran Petrović, Marko Ivanković (2018) State of Mutation Testing at Google — DOI
• Local PDF: Goran Petrović, Marko Ivanković, Bob Kurtz, Paul Ammann, René Just (2018) An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions — DOI
• Local PDF: Sten Vercammen, Mohammad Ghafari, Serge Demeyer, Markus Borg (2018) Goal-Oriented Mutation Testing with Focal Methods — DOI
• Local PDF: Qianqian Zhu, Annibale Panichella, Andy Zaidman (2018) A Systematic Literature Review of How Mutation Testing Supports Quality Assurance Processes — DOI
• Local PDF: Lingchao Chen, Lingming Zhang (2018) Speeding up Mutation Testing via Regression Test Selection: An Extensive Study
• External: Qianqian Zhu, Annibale Panichella, Andy Zaidman (2018) An Investigation of Compression Techniques to Speed up Mutation Testing
• External: Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang (2018) DeepMutation: Mutation Testing of Deep Learning Systems
• External: S. Rani, Bharti Suri (2018) Equivalent Mutant Problem and its Problem-Solving Techniques: A Retrospective View
• External: Farah Hariri (2018) Exploring design decisions for mutation testing
• External: Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene (2018) Fault‐based test generation for regular expressions by mutation
• External: Diego Rodríguez-Baquero, Mario Linares‐Vásquez (2018) Mutode: generic JavaScript and Node.js mutation testing tool
• External: Rodolfo Adamshuk Silva (2018) Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
• External: Jorge López, Natalia Kushik, Nina Yevtushenko (2018) Source code optimization using equivalent mutants
• Local PDF: Pablo C. Cañizares, Alberto Núñez, Juan de Lara (2017) OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments
• Local PDF: Qianqian Zhu, Annibale Panichella, Andy Zaidman (2017) Speeding-Up Mutation Testing via Data Compression and State Infection
• External: Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, S. Khurshid (2017) Automated Test Generation and Mutation Testing for Alloy
• External: Leontiuc, Ioana (2017) Continuous Mutation Testing in Modern Software Development
• Local PDF: Anna Derezińska, Marcin Rudnik (2017) Evaluation of Mutant Sampling Criteria in Object-Oriented Mutation Testing — DOI
• External: Mayank Singh, Viranjay M. Srivastava (2017) Extended firm mutation testing: A cost reduction technique for mutation testing
• External: Ahmed S. Ghiduk, M. Girgis, Marwa H. Shehata (2017) Higher order mutation testing: A Systematic Literature Review
• External: Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris, Yves Le Traon (2017) How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults
• External: Fan Wu, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke (2017) Memory mutation testing
• External: Dunwei Gong, Gongjie Zhang, Xiangjuan Yao, Fanlin Meng (2017) Mutant reduction based on dominance relation for weak mutation testing
• External: Phra Pridsadi Tadeesom, Taratip Suwannasart (2017) Mutation Operators in BPMN Model
• External: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung (2017) Parallel Mutant Execution Techniques in Mutation Testing Process for Simulink Models
• External: Nishtha Jatana, Bharti Suri, Rani Shweta (2017) Systematic Literature Review on Search Based Mutation Testing
• Local PDF: Joanna Strug, Barbara Strug (2017) Using Classification for Cost Reduction of Applying Mutation Testing — DOI
• Local PDF: Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang (2016) Predictive Mutation Testing — DOI
• Local PDF: Marinos Kintis (2016) Effective Methods to Tackle the Equivalent Mutant Problem when Testing Software with Mutation
• External: Zhu, Qianqian, Panichella, Annibale, Zaidman, Andy (2016) A systematic literature review of how mutation testing supports test activities
• External: Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris (2016) Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study
• Local PDF: Joanna Strug (2016) Applying Mutation Testing for Assessing Test Suites Quality at Model Level — DOI
• External: Thomas Laurent, Anthony Ventresque, Mike Papadakis, Christopher Henard, Y. Traon (2016) Assessing and Improving the Mutation Testing Practice of PIT
• External: Joanna Strug (2016) Mutation Testing Approach to Negative Testing
• External: Eduard P. Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson (2016) Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
• External: Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque (2016) PIT: a practical mutation testing tool for Java (demo)
• External: Mehrnoosh Ebrahimipour (2016) Undefined Behaviour in Mutation Testing
• External: Nan Li, Michael West, Anthony Escalona, Vinicius H. S. Durelli (2015) Mutation testing in practice using Ruby
• External: Yiling Lou, Dan Hao, Lu Zhang (2015) Mutation-based test-case prioritization in software evolution
• External: Mike Papadakis, Yue Jia, M. Harman, Yves Le Traon (2015) Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
• Local PDF: René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser (2014) Are Mutants a Valid Substitute for Real Faults in Software Testing? — DOI
• Local PDF: Lorena Gutiérrez-Madroñal, J. Domínguez-Jiménez, I. Medina-Bulo (2014) Mutation Testing: Guideline and Mutation Operator Classification
• Local PDF: L. Madeyski, W. Orzeszyna, R. Torkar, M. Józala (2014) Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation
• External: Srinivas Prasad (2014) A Novel Approach of Mutation Testing of Object-Oriented Programs
• External: LEONARDO DA SILVA SOUSA (2014) A service-based infrastructure for evolution of mutation testing
• External: Gordon Fraser, Andrea Arcuri (2014) Achieving scalable mutation-based generation of whole test suites
• External: Jie Zhang, Muyao Zhu, Dan Hao, Lu Zhang (2014) An Empirical Study on the Scalability of Selective Mutation Testing
• External: Mike Papadakis, Y. Traon (2014) Effective fault localization via mutation analysis: a selective mutation approach
• External: Marinos Kintis, Mike Papadakis, Nicos Malevris (2014) Employing second‐order mutation for isolating first‐order equivalent mutants
• External: Mike Papadakis, Marcio Delamaro, Yves Le Traon (2014) Mitigating the effects of equivalent mutants with mutant classification strategies
• External: Pedro Reales, Macario Polo, José Luis Fernández-Alemán, Ambrosio Toval, Mario Piattini (2014) Mutation Testing
• External: Francisco Carlos, M Souza, Mike Papadakis, Vinícius H. S. Durelli, Delamaro, Marcio Eduardo (2014) Test Data Generation Techniques for Mutation Testing: A Systematic Mapping
• External: Lingming Zhang (2014) Unifying regression testing with mutation testing
• Local PDF: Lingming Zhang, Darko Marinov, Sarfraz Khurshid (2013) Faster Mutation Testing Inspired by Test Prioritization and Reduction — DOI
• Local PDF: Bouchaib Falah, Bouriat Salwa (2013) Effectiveness of Mutation Testing Techniques: Reducing Mutation Cost
• Local PDF: Quang Vu Nguyen, Lech Madeyski (2013) Problems of Mutation Testing and Higher Order Mutation Testing
• Local PDF: Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid (2013) Operator-Based and Random Mutant Selection: Better Together
• External: D. Singh, B. Suri (2013) Mutation testing tools- an empirical study
• Local PDF: Kevin Jalbert, Jeremy S. Bradbury (2012) Predicting Mutation Scores using Source Code and Test Suite Metrics
• External: David Schuler, Andreas Zeller (2012) Covering and Uncovering Equivalent Mutants
• External: Mike Papadakis, Nicos Malevris (2012) Mutation based test case generation via a path selection strategy
• External: René Just (2012) On effective and efficient mutation analysis for unit and integration testing
• External: Pedro Reales Mateo, Macario Polo Usaola (2012) Parallel mutation testing
• External: Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid (2012) Regression mutation testing
• External: Eric Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest (2012) Software Mutational Robustness
• External: Bernhard K. Aichernig, Elisabeth Jöbstl (2012) Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
• External: Simona Nica, F. Wotawa (2012) Using Constraints for Equivalent Mutant Detection
• Local PDF: David Schuler (2011) Assessing Test Quality
• Local PDF: John A. Clark, Haitao Dan, Robert M. Hierons (2011) Semantic Mutation Testing — DOI
• External: J.J. Domínguez-Jiménez, A. Estero-Botaro, A. García-Domínguez, I. Medina-Bulo (2011) Evolutionary mutation testing
• External: Sergio Segura, Segura, S, Benavides, D, Antonio Ruiz-Cortés, Ruiz Cortés, Antonio, Segura Rueda, Sergio, Robert M. Hierons, Benavides Cuevas, David Felipe, Hierons, Robert M., David Benavides, Hierons, RM, Ruiz-Cortes, A (2011) Mutation testing on an object-oriented framework: An experience report
• External: Z. Ivanković, D. Radosav, B. Markoski (2011) Mutation Testing: Object-Oriented Mutation and Testing Tools
• External: Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam (2011) Mutation-Based Test Generation from Security Protocols in HLPSL
• External: Sam Ratcliff, David R. White, John A. Clark (2011) Searching for invariants using genetic programming and mutation testing
• External: Mark Harman, Yue Jia, William B. Langdon (2011) Strong higher order mutation-based test data generation
• External: Ronny Mandal (2011) Towards Safe Mutation Testing in a Sandbox Environment
• Local PDF: Yue Jia, Mark Harman (2010) An Analysis and Survey of the Development of Mutation Testing — DOI
• External: M. Harman, Yue Jia, W. Langdon (2010) A Manifesto for Higher Order Mutation Testing
• External: William B. Langdon, Mark Harman, Yue Jia (2010) Efficient multi-objective higher order mutation testing with genetic programming
• External: Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei (2010) Is operator-based mutant selection superior to random mutant selection?
• External: L. Madeyski, N. Radyk (2010) Judy – a mutation testing tool for Java
• External: Yue Jia, Mark Harman (2009) Higher Order Mutation Testing
• Local PDF: Macario Polo, Mario Piattini (2009) Mutation testing: practical aspects and cost analysis
• External: W. Langdon, M. Harman, Yue Jia (2009) Multi Objective Higher Order Mutation Testing with Genetic Programming
• External: Robert M. Hierons, Mercedes G. Merayo (2009) Mutation testing from probabilistic and stochastic finite state machines
• External: Yue Jia, Mark Harman (2008) Constructing Subtle Faults Using Higher Order Mutation Testing
• External: Yue Jia, Mark Harman (2008) MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
• External: Robert M. Hierons, Mercedes G. Merayo (2007) Mutation testing from probabilistic finite state machines
• Local PDF: Jeff Offutt, Paul Ammann, Lisa (Ling) Liu (2006) Mutation Testing implements Grammar-Based Testing
• External: Auri Marcelo Rizzo Vincenzi, Adenilso Simão, Márcio Eduardo Delamaro, J. C. Maldonado (2006) Muta-Pro: Towards the definition of a mutation testing process
• External: Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, Bing Xie (2005) Contract-based mutation for testing components
• External: A.J. Offutt, Jie Pan (2002) Detecting equivalent mutants and the feasible path problem
• External: Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro (2001) Unit and integration testing strategies for C programs using mutation
• External: Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro (2001) Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria
• External: Phyllis G. Frankl, Stewart N. Weiss, Cang Hu (1997) All-uses vs mutation testing: An experimental comparison of effectiveness
• External: A. Jefferson Offutt, Jie Pan (1997) Automatically detecting equivalent mutants and infeasible paths
• External: A. Jefferson Offutt, Ammei Lee, Gregg Rothermel, Roland H. Untch, Christian Zapf (1996) An Experimental Determination of Sufficient Mutant Operators
• External: W.Eric Wong, Aditya P. Mathur (1995) Reducing the cost of mutation testing: An empirical study
• External: A. Jefferson Offutt, Stephen D. Lee (1994) An empirical evaluation of weak mutation
• External: A. Jefferson Offutt, W. Michael Craft (1994) Using compiler optimization techniques to detect equivalent mutants
• External: Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold (1993) Mutation Analysis Using Mutant Schemata
• External: Martin R. Woodward (1993) Errors in algebraic specifications and an experimental mutation testing tool
• External: A. Jefferson Offutt (1992) Investigations of the Software Testing Coupling Effect
• Local PDF: Robert Geist, Jeff Offutt (1992) Estimation and Enhancement of Real-Time Software Reliability through Mutation Analysis
• External: I. M. M. Duncan, D. J. Robson (1990) Ordered mutation testing
• External: W.E. Howden (1982) Weak Mutation Testing and Completeness of Test Sets
• External: Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward (1980) Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs
• External: Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward (1978) Hints on Test Data Selection: Help for the Practicing Programmer

Course material

• Gordon Fraser (2010) Mutation Testing — university course slides

Blogs/Posts

• Who Mutates the Mutator? (2026) • Aleksei Gagarin (Testo)
• Infection + Testo (2026) • Aleksei Gagarin (Testo)
• Mutation Testing (2026) • Aleksei Gagarin (Testo)
• Path Coverage or Mutation Testing? (2025) • Sebastian Bergmann
• LLMs Are the Key to Mutation Testing and Better Compliance (2025) • Mark Harman (Meta)
• Revolutionizing software testing: Introducing LLM-powered bug catchers (2025) • Christopher Foster, Abhishek Gulati, Mark Harman, Inna Harper, Ke Mao, Jillian Ritchey, Hervé Robert, Shubho Sengupta (Meta)
• The Power of Mutation Testing (2024) • The Green Report
• Enhancing Test Effectiveness with Mutation Testing (2024) • João Coelho
• Solidity Mutation Testing (2023) • RareSkills
• Mutation Testing Google Blog Entry (2021) • Goran Petrovic (Google)
• Test Your Tests Are Testing (2018) • Gert de Pagter
• A note on Mutation Operators (2017) • Markus Schirp
• Relevant mutants (2024) • Manuel Rivero
• I built a single-compile mutation testing lib for Kotlin which runs inside your normal test suite (2026) • Andreas Schnapp

Videos

• Rider Webinar 2023: How To Test C# Unit Tests With Mutation Testing • Stefan Pölz
• GOTO 2019 • Making Mutants Work for You • Henry Coles
• Test Automation Research for Industry 2019: Mutation Testing, Opportunities and Pitfalls • Ali Parsai
• PHPDeveloperDay 2018: Mutation Testing • Théo Fidry
• RailsConf 2017: How to Write Better Code Using Mutation Testing • John Backus
• FOSDEM 2017: Mutation Testing: Leaving the Stone Age • Alex Denisov
• Voxxed Athens 2017: Mutation Testing to the Rescue of Your Tests • Nicolas Fränkel
• Jfokus 2016: From JUnit to Mutation Testing • Sven Ruppert
• GOTO 2015: Mutation Testing in Python • Austin Bingham

Conference presentations

• Speaker Deck 2026: Would Your Tests Catch This Bug? A Mutation Testing Story • Szymon Fiedler
• RubyConf 2024: The Mutation Game — Cracking the Enigma of Mutation Testing • Tyler Lemburg
• NDC TechTown 2024: Mutation Testing in Python with Cosmic Ray • Austin Bingham
• PHP UK Conference 2024: The Absolute Beginner’s Guide to Mutation Testing • Neal Brooks
• ICCQ 2023: Mutant Selection Strategies in Mutation Testing • Rowland Pitts
• Build Stuff 2023: Kill All Mutants! Intro to Mutation Testing • Dave Aronson
• ACCU 2022: Kill All Mutants! Intro to Mutation Testing • Dave Aronson
• Code BEAM Europe 2022: Kill All Mutants! Intro to Mutation Testing • Dave Aronson
• ICCQ 2022: Quasi-Dominators and Random Selection in Mutation Testing • Rowland Pitts
• Devoxx Poland 2021: Mutation Testing — Too Good to Be True? • Piotr Kubowicz
• Laracon EU 2021: Mutation Testing with PHP • Jeroen Groenendijk
• PHPKonf 2021: Mutation Testing in PHP • Maks Rafałko
• JSConf Hawaii 2020: Kill All Mutants! Introduction to Mutation Testing • Dave Aronson
• LLVM Developers’ Meeting 2020: LLVM-Based Mutation Testing for C and C++ • Alex Denisov
• MSR 2020: Mutation Testing Meets Software Analytics — A Hands-On Tutorial
• NDC 2020: Testing the Tests — Mutation Testing for C++ • Seph De Busser
• PHP Barcelona 2020: Mutation Testing — Better Code by Making Bugs • Théo Fidry
• PHP North East 2020: Mutation Testing with Infection
• Speaker Deck 2020: Getting Started with Mutation Testing • Denis Brumann
• Symfony User Group 2020: What’s New in Symfony 5.1 and Getting Started with Mutation Testing
• DevConf Johannesburg 2019: Testing Your Tests’ Quality — Introduction to Mutation Testing • Felix Wu
• fwdays 2019: Mutation Testing in PHP • Maks Rafałko
• RubyConf 2019: Kill All Mutants! Intro to Mutation Testing • Dave Aronson
• Speaker Deck 2019: Mutation Testing at Pixels Camp • Pedro Rijo
• Speaker Deck 2019: Mutation Testing in Elixir • Daniel Serrano
• Speaker Deck 2019: Mutation Testing with Infection • DragonBe
• Speaker Deck 2018: Mutation Testing at PHPDeveloperDay • Théo Fidry
• Symfony User Group Osnabrück: Mutation Testing with Symfony
• Speaker Deck 2014: Mutation Testing with Mutant • Erik Berlin

Conferences

• International Workshop on Mutation Analysis
  • MUTATION 2018, The 13th International Workshop on Mutation Analysis

Examples and practical resources

• atodorov/mutation-testing-in-patterns
  • Practical examples of software and testing patterns related to mutation testing Mutation Testing in Patterns

Tutorials

• Introduction to Mutation Testing with PIT (Java)