Model-Based Testing2012-01-0156 PRE AI IIna Schieferdecker * DOI:10.1109/MS.2012.13OriginalOriginal request for helpShareSaveAbstract En