Research Topics
MODEL-BASED DEVELOPMENT AND TESTING
> AUTOMATIC CODE GENERATION
> SOFTWARE SAFETY (IEC 61508, ISO 26262)
TESTING TECHNIQUES FOR EMBEDDED SOFTWARE
> CLASSIFICATION-TREE METHOD FOR EMBEDDED SYSTEMS
(CTMEMB)
> MODEL-BASED BLACK-BOX TESTING (MB3T)
> EVOLUTIONARY SAFETY TESTING (EST)
AUTOMOTIVE SOFTWARE ENGINEERING
> SIG Automotive Software Engineering (ASE) of the German Computer Society
Supervised Diploma and PhD Theses
Matt Maruhn:
MODELLIERUNG UND ANALYSE VON HARDWARE- UND SOFTWAREFEHLERN KOMPLEXER TECHNISCHER SYSTEME MIT HILFE VON SIMULINK.
Technical University Berlin, 1998
Ingo Stürmer:
GRAPHTRANSFORMATIONEN ZUR MANIPULATION VON KLASSIFIKATIONSBÄUMEN BEIM MODELL-BASIERTEN TESTEN.
University of the Federal Armed Forces Munich, 2001
Ingo Stürmer:
SYSTEMATIC TESTING OF CODE GENERATION TOOLS.
Technical University Berlin, 2006
Michael Sohn:
KORREKTHEITSBEGRIFFE FÜR MODELLBASIERTE CODEGENERATOREN.
Martin-Luther University Halle-Wittenberg, 2006
