Timea Illes-Seifert Lars Borner Barbara Paech Testfallgenerierung aus Semi-formalen Use Cases. 387-392 2007 GI Jahrestagung (2) conf/gi/2007-2 db/conf/gi/gi2007-2.html#Illes-SeifertBP07