Alexander Pretschner Wolfgang Prenninger Stefan Wagner Christian Kühnel M. Baumgartner B. Sostawa R. Zölch Thomas Stauner One evaluation of model-based testing and its automation. 392-401 2005 conf/icse/2005 ICSE http://doi.acm.org/10.1145/1062455.1062529 db/conf/icse/icse2005.html#PretschnerPWKBSZS05