8:30-10:00 

Session 1: Erfahrungen, Ideen 

 

Model-Based Testing in the Field: Lessons Learned
Wolfgang Grieskamp, Microsoft Research 

 

Model-Based Testing in Practice
Mark R. Blackburn, Robert D. Busser, Aaron M. Nauman, Travis R. Morgan, Systems and Software Consortium/T-VEC Technologies 

 

Evaluation von Transformationsmaschinen in der modellbasierten Qualitätssicherung
Mario Friske, Konrad Hilse, Fraunhofer FIRST 

 

Vorwärts- und Rückwärtsgerichtete Verfolgung von Fehlern für die modellbasierte Entwicklung eingebetteter Systeme
Stefan Miller, DaimlerChrysler Forschung und Technologie) 

10:00-10:30 

Kaffeepause 

10:30-12:00 

Session 2: Testgenerierung 1 

 

Generierung von Systemtestfällen für Car Multimedia Systeme aus domänenspezifischen UML Modellen
Oliver Alt, Robert-Bosch GmbH 

 

Model-Based Testing from UML Models
Fabrice Bouquet, University of Besancon
Mark Utting, University of Waikato
Eddy Bernard, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Eric Torreborre, LEIRIOS Technologies 

 

Pragmatische Modellierung von Testfällen für Software im Automobil
Zoltan Adam Mann, sd&m AG 

 

Generating Test Sequences from UML Sequence Diagrams and State Diagrams
Dehla Sokenou, GEBIT Solutions GmbH 

12:00-13:00 

Mittagspause 

13:00-15:30 

Session 3: Testgenerierung 2 

 

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking
Andres Kull, Kullo Raiend,Elvior
Juhan Ernits, Jüri Vain, Tallinn Univ. of Technology 

 

Applying Model-based Testing to a Train Control System
Klaus Didrich, Stefan Herbst, Siemens Transportation Systems
Marlon Vieira, Siemens Corporate Research 

 

Automatisierte Erzeugung von TTCN-3 Testfällen aus UML-Modellen
Jens R. Calame, Natalia Ioustinova , Jaco van de Pol, CWI 

 

Automatic Test Case Generation with Model Checker NuSMV
Grygoriy Bunin, Rücker GmbH
Axel Schneider, Lucent Technologies Network Systems GmbH
Christian Haubelt, University of Erlangen-Nuremberg
Jan Langer, Ulrich Heinkel, Chemnitz University of Technology 

 

Modellbasierte Generierung von Testfallszenarien für den aufwandsoptimierten Integrationstest
Sacha Reis, Andreas Metzger, Universität Duisburg-Essen
Klaus Pohl, University of Limerick 

15:30-16:00 

Kaffeepause 

16:00-17:30 

Session 4: Anwendungen 

 

Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie
Fevzi Belli, Christof J. Budnik, Michael Linschulte, Universität Paderborn)
Ina Schieferdecker, Technische Universität Berlin 

 

Model-based Testing of a Reactive System with Coloured Petri Nets
Simon Tjell, University of Aarhus 

 

Communication Test for Object-Oriented Systems using Gossiped Data
Robert Kalcklösch, Peter Liggesmeyer, TU Kaiserslautern 

 

Aspect-based Testing of COTS Components
Jean-Michel Bruel, Albert Royer, Universite de Pau et des Pays de l'Adour