Pezze, Young:

Software Testing and Analysis: Process, Principles and Techniques

Instructor Companion Site

Chapter 8: Finite Space Verification

* These links will open a new window