This book presents a collection of test techniques, many of which are based on the author's firsthand experience as Director of Testing and Quality Assurance for a telecommunications software producer. It describes various techniques (decision tables and formal grammars) that provide precise specification-driven testing. This is a major update to Beizer's first edition, with a great deal of new information reflecting the major progress in testing techniques and tools during the past decade.