Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.