MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration

Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld

Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it find…