Mutation Testing of Java Bytecode: A Model-Driven Approach.

Christoph Bockisch, Deniz Eren, Sascha Lehmann, Daniel Neufeld, Gabriele Taentzer

Browse the full MODELS paper archive.