Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme
Inhaltsangabe:Einleitung: Die Abstraktion von Verhaltensmodellen ist die wesentliche Voraussetzung für die Realisierbarkeit der automatischen Testgenerierung für Systeme mit kontinuierlichem…