Fundamentals of software testing. Test generation using finite state models, statecharts, timed automata, constraint logic, Petri nets, Z, and others; test adequacy assessment using black box and white box criteria; industrial applications of model based testing. Students will be required to form small teams of two or three, preferably interdisciplinary, and make in-class presentations based on a selected topic in model based testing. The work of each team will be reviewed by the instructor and other teams.

Homepage	http://www.cs.purdue.edu/homes/apm/courses/cs590T-fall05
Usually Offered:	Fall
Credit:	3 hours (class)
Prerequisite:	Status as graduate student or senior in CS or any engineering discipline
University Catalog:	CS 590T
Schedule:	Fall 2005 Instructor: Aditya Mathur