MMT: Mutation Testing of Java Bytecode with Model Transformation | IEEE Conference Publication | IEEE Xplore