Pitest (PIT) is a state-of-the-art mutation testing system for Java and the JVM that analyzes test...