Publisher's Synopsis
Provides readers with a survey of software testing tools and techniques, and leads on to examples and a case study of symbolic execution in use. This book should be of interest to researchers, software engineers and postgraduate students.