2 papers
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…
cs.LO2023
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about…