Model Based Software Testing Preliminaries Aditya P. Mathur Purdue University Fall 2005 Last update: August 18, 2005.
Coverage Principle: A Mantra for Software Testing and Reliability Aditya P. Mathur Purdue University August 28, 1998 @ Cadence Labs, Chelmsford Last update:August.
Chapter 1