Automated testing overview
1 Model-Based Testing and Test-Based Modelling Jan Tretmans Embedded Systems Institute, Eindhoven, NL and Radboud University, Nijmegen, NL Q uasimodo.