Slide 1 Model Based Software Testing Preliminaries Aditya P. Mathur Purdue University Fall 2005 Last update: August 18, 2005 Slide 2 Software Testing and Reliability …