INFORMATIK 2010 Service Science – Neue Perspektiven für die ...
INFORMATIK 2010 Service Science – Neue Perspektiven für die ...
INFORMATIK 2010 Service Science – Neue Perspektiven für die ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Dienstag<br />
28.09.<strong>2010</strong><br />
11:00 - 17:35 Uhr<br />
S 210<br />
Leitung<br />
Fevzi Belli, Universität<br />
Paderborn<br />
Christof J. Budnik,<br />
Siemens Corporation,<br />
Corporate Research,<br />
Princeton<br />
Axel Hollmann,<br />
Universität Paderborn<br />
Francesca Saglietti,<br />
Universität<br />
Erlangen-Nürnberg<br />
Mario Winter,<br />
FH Köln<br />
74<br />
<strong>die</strong>nstag ‒ sonstige workshops<br />
MOTES <strong>2010</strong> <strong>–</strong> Modellbasiertes Testen<br />
Von der Forschung in <strong>die</strong> Praxis<br />
5. Workshop im Rahmen der<br />
40. Jahrestagung der GI<br />
> 11:00 - 11:10 Uhr Opening Remarks Fevzi Belli<br />
> 11:10 - 12:30 Uhr Models and Pragmatics Chair: N.N.<br />
System Models vs. Test Models <strong>–</strong> Distinguishing the<br />
Undistinguishable? (Short)<br />
Stephan Weissleder, Hartmut Lackner<br />
Event-Based Mutation Testing vs. State-Based Mutation Testing <strong>–</strong><br />
Comparison Using a Web-based System<br />
Mutlu Beyazıt, Timon Sebastian Deistler, Nida Gökçe<br />
Modellbasierte Testgenerierung aus Spezifikationen<br />
mit parallelem Verhalten<br />
Jan Krause, Christian Diedrich<br />
> 14:00 - 15:30 Uhr Best Practices and Experiences Chair: Oliver Jack<br />
Model-Based Testing of Automotive HMIs based on a<br />
Test-Oriented HMI Specification Model<br />
Linshu Duan, Heinrich Hussmann, Alexander Höfer<br />
Dynamische Äquivalenzklassen im Klassifikationsbaum <strong>für</strong><br />
Zustandsbehaftete Systeme<br />
Harald Cichos, Andy Schürr<br />
Automatisierter funktionaler Steuergerätetest mit der Extended<br />
Automation Method (EXAM)<br />
Dirk Zitterell, Sebastian Thiel<br />
Enabling statistical testing for component-based systems<br />
Thomas Bauer, Robert Eschbach<br />
> 16:00 - 17:30 Uhr Modification and Evaluation Chair: N.N.<br />
Modelle als Mittel zur Verstärkung von strukturellen Tests<br />
sicherheitskritischer Software<br />
Dirk Wischermann, Wolfgang Schröder-Preikschat<br />
Test Case Generation for Visual Contracts Using AI Planning<br />
Matthias Schnelte, Baris Güldali<br />
Evaluierung des Fehlererkennungspotentials modellbasierter<br />
Komponenten- und Integrationstestfälle<br />
Florin Pinte, Francesca Saglietti<br />
> 17:35 Uhr Closing Remarks Fevzi Belli