State of the art mutation testing system for the JVM

Descartes supports developers to improve their test suites by reporting weak spots in covered code

Maven plugin to handle multi module projects for PiTest

Mutation analysis tool for Coq verification projects

A Language/Platform agnostic Mutation & Analysis Language.

Utility Java program to perform mutation-analysis

Faster Mutation Analysis with MeMu

Projects that use mutation testing, based on mutation operators applied at the level of a statement within a method or a function. The mutated program needs to be strongly killed by the designed test cases. At least three different mutation operators should be used.