Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme.