Programme of MBT at ETAPS 2010

(Workshop on Model-Based Testing)

Sunday, March 21

09:25 - 10:30 SESSION 1

09.25: The Grand Game of Testing

Yuri Gurevich

10.00: Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases

Petur Olsen, Kim Larsen, and Arne Skou

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

Olaf Owe, Martin Steffen, and Arild B. Torjusen

11.30: Feature Interaction Aware Test Case Generation for Embedded Control Systems

Malte Lochau and Ursula Goltz

12.00: A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models

Winfried Dulz, Stefan Holpp, and Reinhard German

12:30 - 14:00 Lunch

14:15 - 16:00 SESSION 3

14:15 - 15:15 - Invited Talk: A Theory of Model-Based Testing and How ioco Goes eco

Jan Tretmans

15:15 - 15:30 Break

15.30: Handling State-Machines Specifications with GATeL

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, and Olivier Andrieu

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

16.30: Model-Centric Testing

Florian Prester

17.00: Specification Model Based Testing in the Avionic Domain - Current Status and Future Directions

Philipp Helle and Wladimir Schamai