Sokenou, DehlaWeißleder, StephanEngels, GregorLuckey, MarkusSchäfer, Wilhelm2019-02-202019-02-202010978-3-88579-253-6https://dl.gi.de/handle/20.500.12116/20204In this paper, we present model-based testing for UML state machines with the test generator ParTeG. We sketch the impact of model transformations on modelbased testing and also sketch the results of a corresponding case study with ParTeG.enParTeG – Integrating model-based testing and model transformationsText/Conference Paper1617-5468