Veröffentlichung im Rahmen des 24. Workshops "Programmiersprachen und Rechenkonzepte" im Mai 2007 der Gesellschaft für Informatik (in Form eines technischen Berichtes).

Abstract: Sowohl für die Software-Modell-Prüfung als auch für das modellbasierte Testen sind Größe und Komplexität von Modellen entscheidende Einflussfaktoren. Wir haben Slicing auf Programmpunktebene als Programmanalyse für die Anwendung auf symbolische Kellersysteme (Remopla Modelle) übertragen, um kleinere und weniger komplexe Modelle zu erhalten. Die Messergebnisse zeigen eine teils erhebliche Laufzeitreduktion für den eingesetzten Modellprüfer Moped.

Download: apa07.pdf