PiTest is a mutation testing framework. It mutates your code and then checks that your tests fail. If they don’t fail, then it could mean that the test coverage isn’t as good as it could be.
https://pitest.org
TODO: Add detail on running