Programme of MBT

SATURDAY, March 27

09.00
09.30
Introduction
Yuri Gurevich, Alexander K. Petrenko
09.30
10.30
 Invited Speaker
 Keith Stobie, Test Architect, Microsoft
10.30
11.00
Coffee
11.00
12.30
Architectural Unit Testing
Giuseppe Scollo and Silvia Zecchini 

Multi-paradigm Models as Source for Automated Test Construction
Victor Kuliamin
12.30
14.00
Lunch
14.00
15.30
Heuristics for Faster Error Detection with Automated Black Box Testing
Antti Kervinen and Pablo Virolainen

Model-based Build-in tests
Hans-Gerhard Gross, Ina Schieferdecker and George Din
15.30
16.00
Coffee
16.00
18.00
Discussion

SUNDAY, March 28

9.00
10.00
Invited Speaker
Robert V. Binder, President and CEO of  mVerify Corporation
10.00
10.30
Coffee
10.30
12.30
Systematic Model-Based Testing of Embedded Automotive Software
Mirko Conrad, Ines Fey, Sadegh Sadeghipour

Lightweight Specification-based Testing of Memory Cards: A Case Study
Seung Mo Cho and Jae Wook Lee

Reserved
12.30
14.00
Lunch
14.00
15.30
Test Selection Strategies for Lustre Descriptions in GATeL
Benjamin Blanc and Bruno Marre

ProTest: An Automatic Test Environment for B Specifications
Manoranjan Satpathy, Michael Leuschel and Michael Butler
15.30
16.00
Coffee
16.00
18.00
Final Discussion
Evening Pre-Conference Workshops Dinner