Conrad, MirkoDörr, HeikoStürmer, IngoSchürr, AndyGlinz, MartinMüller-Luschnat, Günther2019-12-132019-12-1320023-88579-342-3https://dl.gi.de/handle/20.500.12116/30663Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how "raw" classification trees are transformed into complete classificati- on trees using an extensible tool, the classification-tree transformer (CTT). This tool and its domain specific extensions are generated using the graph rewriting system PROGRES.enText/Conference Paper1617-5468