Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest - Pinte, Florin-Avram 1982- (Erlangen-Nürnberg, Univ., Diss., 2012, 2012)