Automatische Testvektorgenerierung in der modellbasierten Softwareentwicklung. - Thomas Hermes; Axel Schultze; Oliver Predelli (GI Jahrestagung (2), 2005)