One evaluation of model-based testing and its automation. - Alexander Pretschner; Wolfgang Prenninger; Stefan Wagner 001; Christian Kühnel; Martin Baumgartner; Bernd Sostawa; Rüdiger Zölch; Thomas Stauner (ICSE, 2005)