Pezze, Young:

Software Testing and Analysis: Process, Principles and Techniques

Instructor Companion Site

Chapter 7: Symbolic Execution and Proof of Properties

* These links will open a new window