This book presents sound engineering approaches for test generation, selection, minimization, assessment, enhancement, and sequencing. Using numerous examples, it offers a lucid description of a wide range of simple to complex techniques for a variety of testing-related task. It exposes the reader to various commercially available testing tools to facilitate tool selection.