Saturday, March 25, room EI4
09.00 - 09.30	Opening and Welcome	Bernd Finkbeiner, Yuri Gurevich, Alexander K.Petrenko
09.30 - 10.30	Harry Robinson (Google)	Model-based Testing for the Masses (Invited Talk)
10.30 - 11.00	Coffee break
11.00 - 11.45	Alexander Krupp and Mirko Conrad.	An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.
11.45 - 12.30	Niels Braspenning, Asia van de Mortel-Fronczak and Koos Rooda.	A model-based integration and testing approach to reduce lead time in system development.
12.30 - 14.00	Lunch
14.00 - 14.45	Daniel Aguiar da Silva and Patrícia Machado.	Towards Test Purpose Generation from CTL Properties for Reactive Systems.
14.45 - 15.30	Sean Callanan, Radu Grosu, Abhishek Rai, Scott Smolka, Mike True and Erez Zadok.	Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
15.30 - 16.00	Coffee break
16.00 - 16.45	Antti Kervinen, Mika Maunumaa and Mika Katara.	Controlling Testing using Three-Tier Model Architecture.
16.45 – 18.00	Reserved

Sunday, March 26, room EI4
09.30 - 10.30	Alan Hartman (IBM Haifa Research Laboratory)	Ten years of model based testing - A sober evaluation" (Invited Talk)
10.30 - 11.00	Coffee break
11.00 - 11.45	Constantinos Djouvas, Nancy Griffeth and Nancy Lynch.	Testing Self-Similar Networks.
11.45 - 12.30	Victor Kuliamin, Igor Burdonov and Alexander S. Kossatchev.	Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
12.30 - 14.00	Lunch
14.00 - 14.45	Robert Nilsson, Jeff Offutt and Jonas Mellin.	Test Case Generation for Testing of Timeliness.
14.45 - 15.30	Bernhard K. Aichernig and Chris George.	When Specification-based Testing Fails.
15.30 - 16.00	Coffee break
16.00 - 16.45	Discussion