A-MOST 2011 Program

21 March 2011

8:30 - 9:30: Keynote (Chair: Christof Budnik)

Wolfgang Grieskamp,.Microsoft Windows division

Dr. Wolfgang Grieskamp is a Principal Architect in the Microsoft Windows division. His current work is related to creating tools and methods which enable engineers to build, test, and maintain interoperable products which confirm to technical documentations. Dr. Grieskamp’s team is assigned with the QA of all of Windows protocol documentation, for which model-based technologies are applied. Before joining Windows Dr. Grieskamp worked as Senior Researcher at Microsoft Research, where he developed the model-based testing family of tools known as Spec Explorer. Spec Explorer moved with him from research into the Windows organization. Before joining Microsoft Research in 2001, Dr. Grieskamp was associated with the Technical University of Berlin in various research projects with the German industry related to applying formal methods for development of embedded systems. Dr. Grieskamp serves in the editorial board of the Journal of Software Testing, Verification, and Reliability (STVR), and on various program committees.

9:30 - 10:00: "Model-Based Testing for Embedded and Real-Time Systems I" (Chair: Ioannis Parissis)

Omer Landry Nguena Timo and Antoine Rollet. Test Selection for Data-Flow Reactive Systems based on Observations

Coffee Break

10:30-12:00: "Model-Based Testing for Embedded and Real-Time Systems II" (Chair: Lars Frantzen)

Wilkerson L. Andrade, Patricia Machado, Thierry Jéron and Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems

Frank Boehr. Model Based Statistical Testing of Embedded Systems

Johannes Kloos, Robert Eschbach and Tanvir Hussain. Risk-based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis

Stephan Weissleder and Thomas Rogenhofer. Simulated Restriction of Coverage Criteria on UML State Machines

Lunch

14:00-15:30: "Domain-Specific Approaches and Tools I" (Chair: Robert Eschbach)

Carsten Rütz and Julien Schmaltz. An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON

Alexander Kamkin, Eugene Kornykhin and Dmitry Vorobyev. Reconfigurable Model-Based Test Program Generator

Jan Peleska and Christof Efkemann. Model-Based Testing for the Second Generation of Integrated Modular Avionics

Marcel Van Amstel, Mark Van Den Brand and Luc Engelen. Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification

Coffee Break

16:00-17:45: "Domain-Specific Approaches and Tools II" & "SCENARIOS" (Chair: Frédéric Dadeau)

Ralf Mitsching, Frank Fiedler and Carsten Weise. TripleT: Improving Test Responsiveness for High Performance Embedded Systems

Christoph Torens, Lars Ebrecht and Karsten Lemmer. Inverse Model Based Testing - Generating Behavior Models from abstract Test Cases

Kalou Cabrera Castillos and Julien Botella. Scenario Based Test Generation using Test Designer

Eda Marchetti, Louis Schilders and Sandra Winfield. Scenario-based testing applied in two real contexts: Healthcare and Employability

End of AMOST 2011