Presentations
Posters
| 09.00 | Start Tool exhibition and Poster sessions |
| 09.30 - 9.45 | Opening: prof. dr. M.G.J. van den Brand (LaQuSo, Eindhoven, Netherlands) |
| 9.45 - 10.30 | Keynote 1: prof. dr.
W.M.P. van der Aalst (Eindhoven University of Technology) title: Reality is not always what it seems - Using process mining and conformance checking to find out what is really going on in your system |
|
Track 1 – Requirements 1 Track chair: Hans van Vliet (Vrije Universiteit, Amsterdam) |
Track 2 – Performance Track chair: Johan Lukkien (Eindhoven University of Technology) |
Track 3 – Embedded 1 Track chair: Axel Belinfante (University of Twente) |
Track 4 – New Trends in Testing 1 Track chair: Pieter Koopman (Radboud University, Nijmegen) |
Track 5 – Models 1 Track chair: Jos Baeten (Eindhoven University of Technology) |
|
Risk assessed User requirements Management Gijs Kuiper (ps_testware) |
Implementation of conceptual model for performance test measurements Jan Rodenburg, Laurence Cabenda (Collis) |
Fault Diagnosis of Embedded Software using Program Spectra Peter Zoeteweij, Rui Abreu, Arjan van Gemund (Delft University of Technology), Rob Golsteijn (NXP) |
Automated Software Testing and Release with Nix Build Farms Eelco Visser (Delft University of Technology), Eelco Dolstra (University of Utrecht) |
An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt (University of Birmingham, UK), Arend Rensink, Theo Ruys (University of Twente) |
|
Requirements engineering within a GxP regulated industry Piet Vervoort (Rescop) |
Managing .NET performance across the application life cycle Marcel Jankie, Frans Leugering (Compuware) |
How to produce reliable software using Model based design and abstract interpretation techniques Marc Lalo (PolySpace, UK) |
Software conversions need to be tested Maurice Siteur (Capgemini)
|
Eric Verhulst, Gjalt de Jong (Open License Society, Leuven, B) |
Lunch break (75 minutes)
13.15 – 14.30 – Tracks 6 – 10
|
Track 6 – Requirements 2 Track chair: Petra Heck (LaQuSo) |
Track 7 – New Trends in Testing 2 Track chair: Jan Tretmans (Radboud University, Nijmegen) |
Track 8 – Embedded 2 Track chair: Arend Rensink (University of Twente) |
Track 9 – Quality Checking Track chair: Jos Trienekens (Eindhoven University of Technology) |
Track 10 – Models 2 Track chair:Jan Friso Groote (Eindhoven University of Technology) |
|
Requirements Definition Center - Design(ed) for Business Performance Hans Baaten (Atos Origin) |
Risk Based Testing in Practice Rob Hendriks (Improve Quality Services)
|
Optimal integration and test strategies for software releases of lithographic systems Roel Boumen, Ivo de Jong, Asia van de Mortel-Fronczak, Koos Rooda (Eindhoven University of Technology) |
Experiences in Quality Checking Medical Guidelines using Formal Methods Perry Groot, Arjen Hommersom, Peter Lucas (Radboud University, Nijmegen), Michael Balser, Jonathan Schmitt (University of Ausburg, D)
|
Model-Driven Consistency Checking of Behavioural Specifications Bas Graaf (Delft University of Technology), Arie van Deursen (Delft University of Technology, CWI)
|
|
Requirements and qualities Renze
Zijlstra (KZA), Lex Kleiberg (AXA) |
A new Statistical Software Reliability Tool Alessandro Di Bucchianico, Isaac Corro Ramos, Marko Boon (Eindhoven University of Technology), Ed Brandt, Rob Henzen (Refis)
|
Static Memory and Timing Analysis of Embedded Systems Code Christian Ferdinand, Reinhold Heckmann, Bärbel Franzen (AbsInt Angewandte Informatik, Saarbrücken, D) |
Perl Scripts and Monkeys: Open Source Code Quality Checking Adriaan de Groot (KDE e.V., Radboud University, Nijmegen) |
René Schreurs, Stefan ten Hoedt (Aia Software), Yaroslav Usenko (Eindhoven , University of Technology), Marko van Eekelen (Radboud University, Nijmegen) |
Break (15 min)
|
Track 11 – Open Source Track chair: Yaroslav Usenko(Eindhoven University of Technology) |
Track 12 – New Trends in Testing 3 Track chair: Judi Romijn (Eindhoven University of Technology) |
Track 13 – Embedded 3 Track chair: Roelof Hamberg (Embedded Systems Institute) |
Track 14 – Measuring Quality Track chair: Marko van Eekelen (Radboud University, Nijmegen) |
Track 15 – Security Track chair: Bart Jacobs (Radboud University, Nijmegen) |
|
Test automation in Telecoms – pros and cons of Open Source tools Piotr Kaluski (CGI, PL) |
First time right? Lessons learned while exploratory testing Derk-Jan de Grood (Collis) |
A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga (University of Twente) |
Measuring the benefits of verification Jan Jaap Cannegieter (Sysqa)
|
Verifying an Implementation of SSH Erik Poll (Radboud University, Nijmegen), Aleksy Schubert (Warsaw University, PL) |
|
HETS: The Heterogeneous Tool Set Christian Maeder, Till Mossakowski (DFKI Lab, Bremen and University of Bremen, D) |
Justifying Software Testing in the 21st Century Ian Gilchrist (Information Processing Limited, UK) |
Discovering Faults in Idiom-Based Exception Handling Magiel Bruntink, Arie van Deursen (CWI), Tom Tourwé (Eindhoven University of Technology) |
Correlation Between Coding Standards Compliance and Software Quality Wojciech Basalaj (Programming Research, UK), presented by Frank van den Beuken (Programming Research, UK) |
Eric Verheul (PriceWaterhouseCoopers, Radboud University, Nijmegen) |
Closing and drinks