Title: Automatische Testgenerierung Auf der Basis Einer Qualitativen Modellierung Physikalischer Systeme