Time

Program

Presenter/Speaker

Location

8.00 - 9.00

Sponsors final booth set up

n/a

Atelier

9.00 - 10.00

Registration, Coffee & Booth Visit

n/a

Museum Restaurant & Atelier

10.00 - 10.15

Opening

Henk van Dam

Auditorium

10.15 - 10.55

End-to-end testing in the public domain

Rik Marselis

Auditorium

10.55 - 11.10

Introduction of Model Based Testing

Jan Tretmans

Auditorium

11.10 - 11.35

Model-Based Testing of Electronic Funds Transfer Systems

Neda Noroozi

Auditorium

11.35 - 12.00

Model-based Testing of a Wireless Sensor Network Node

Axel Belifante

Auditorium

12.00 - 13.00

Lunch Break & Booth Visit

n/a

Museum Restaurant & Atelier

13.00 - 13.25

Experiences with Formal Engineering: Model-based Specification, Implementation and Testing of a Software Bus

Marten Sijtema

Auditorium

13.25 - 13.40

Panel questions to Model Based Testing Speakers (Jan, Neda, Axel & Marten)

Henk van Dam

Auditorium

13.40 - 14.20

Secure transactions, by testing secure transactions

Dirk Jan van den Heuvel

Auditorium

14.20 - 15.00

A comparison of free tools for Domain Specific Test Languages

Martin Gijsen

Auditorium

15.00 - 15.30

Coffee Break & Booth Visit

n/a

Museum Restaurant & Atelier

15.30 - 16.10

The business case for Application Virtualization in testing complex distributed application architectures

Edwin van Asch

Auditorium

16.10 - 16.50

Computer Security (Key Note Speaker)

Bart Jacobs

Auditorium

16.50 - 17.00

Closing

Henk van Dam

Auditorium

17.00 - 18.00

Drink with Appetizers

n/a

Museum Restaurant & Atelier

18.00 - 19.00

Break down booth areas

Sponsors & Collis

Museum Restaurant & Atelier