1. Model-Based Testing Jan Tretmans jan.tretmans @ esi.nl Embedded Systems Institute Eindhoven, NL Radboud University Nijmegen, NL 2. Overview Software…