Validating Specifications for Model-Based Testing

Pieter Koopman Software Technology Radboud University Nijmegen The Netherlands Phone/Fax: +31 24 3652(483/525) Email: pieter@cs.ru.nl Peter Achten (contact) Software Technology Radboud University Nijmegen The Netherlands Phone/Fax: +31 24 3652(483/525) Email: P.Achten@cs.ru.nl Rinus Plasmeijer Software Technology Radboud University Nijmegen The Netherlands Phone/Fax: +31 24 3652(644/525) Email: rinus@cs.ru.nl