Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest - Pinte, Florin-Avram 1982- (2012)