2 papers
cs.SE2024
A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing
Steffen Dick, Christoph Bockisch, Harrie Passier +2
Correctness is one of the more important criteria of qualitative software. However, it is often taught in isolation and most students consider it only as an afterthought. They also…
cs.SE2024
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…