(click on the title of the presentation to see the abstract in pdf)
09.30-10.10 |
Registration and coffee |
10.15-10.30 |
Opening Ed Brinksma |
10.30-11.30 |
Keynote Kim Larsen (University of Aalborg, and Center for Embedded Software Systems) |
11.30-12.00 |
Ed Brandt (Refis) |
12.00-12.30 |
Constructing Formal Models through Automata Learning (slides) Fides Aarts, Faranak Heidarian and Frits Vaandrager (Radboud University Nijmegen) |
12.30-14.00 |
Lunch |
14.00-14.30 |
Creating automated tests that survive even continuous change Martin Gijsen (De Analist) |
14.30-15.00 |
Managing the co-evolution of software artifacts (slides) Joost Gabriels, Danny Holten, Martijn Klabbers, Wiljan van Ravensteijn, Alexander Serebrenik (LaQuSo, TU Eindhoven, and SynerScope B.V) |
15.00-15:30 |
Risk Based testing, a piece of cake or not? (slides) Jeanne Hofmans (Improve Quality Services) |
15.30-16.00 |
Coffee break |
16.00-16.30 |
Testing of Highly Distributed Service-Oriented Systems using Virtual Environments (slides) Faris Nizamic, Rix Groenboom, Alexander Lazovik (University of Groningen, Parasoft) |
16.30-17.00 |
Evolution of Test Automation (slides) Jan de Coster (Micro Focus) |
17.00 |
Drinks |