Modellbasierte Generierung von Testfallszenarien für den aufwandsoptimierten Integrationstest.