3 papers
cs.SE2026
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
Alexander Lauer, Jens Kosiol, Leen Lambers +1
Conflict and dependency analysis is an important static analysis tool that provides an overview of the potential interactions of (graph) transformation rules. This analysis is base…
cs.SE2024
Using weakest application conditions to rank graph transformations for graph repair
Lars Fritsche, Alexander Lauer, Maximilian Kratz +2
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…
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…