Weißleder, StephanHegering, Heinz-GerdLehmann, AxelOhlbach, Hans JürgenScheideler, Christian2019-04-032019-04-032008978-3-88579-227-7https://dl.gi.de/handle/20.500.12116/21357In this paper, we deal with input partition-oriented, model-based test suite generation. We extend existing control-flow-based coverage criteria, describe corre-sponding tool support, and present an exemplary evaluation based on mutation analysis. All explanations are substantiated by an example of a freight elevator.enText/Conference Paper1617-5468