Mutation Testing of Java Bytecode: A Model-Driven Approach. - Christoph Bockisch; Deniz Eren; Sascha Lehmann; Daniel Neufeld; Gabriele Taentzer (MODELS, 2024)

Advanced Mutation Testing of Java Bytecode Using Model Transformation. - Christoph Bockisch; Freya Dorn; Deniz Eren; Sascha Lehmann; Daniel Neufeld; Gabriele Taentzer (Software Engineering, 2025)