Mutation Testing of Java Bytecode Using Model Transformation: An Illustrative Demonstration
A model-driven approach to mutation testing of Java bytecode, providing advanced mutation operators that can detect weaknesses in test suites beyond basic arithmetic and relational operator replacements.