Coverage Principle: A Mantra for Software Testing and Reliability Aditya P. Mathur Purdue University August 28, 1998 @ Cadence Labs, Chelmsford Last update:August.