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