Modellbasierte Testentwicklung - Verwendung von Aktivitätsdiagrammen als Testspezifikation im expecco-Testsystem.