DWFTT 2007

The Second Dutch Workshop on Formal Testing Techniques

Thursday, September 13
10:00 --- 17:30
"Horsttoren" building (nr 20 on this map)
Room B-103
University of Twente
Enschede
the Netherlands

Preliminary program

10:00 Arrival and koffie
10:15 Opening
10:20-12:20 Morning session
lunch

13:15-15:15 Afternoon session 1 break

15:45-17:15 Afternoon session 2 drinks

Aim and scope

Testing is a widely practiced approach to assess and improve the quality of software and hardware systems. Too often, the testing process is carried out in an ad hoc manner, making this process costly and error-prone. In formal testing , the test process is based on well-established mathematical techniques. It provides a the rigor needed for the systematic analysis of the quality of a system, thus providing a solid basis for test automation and tool support.

This workshop provides a platform to researchers interested in a rigorous approach to testing for discussing state-of-the-art results and future research plans.

Registration and cost

Registration can be done by sending an email to the organizers before Thursday September 4. Participation of the workshop is free, thanks to sponsoring by the CTIT.

Previous Workshop

DWFTT2005 at CWI, Amsterdam


Organizers

Jens R. Calamé
CWI
jens.calame AT cwi.nl

Mariëlle Stoelinga
University of Twente
marielle AT cs.utwente.nl