İçindekiler : Basics of software testing -- Test generation from requirements -- Test generation from finite-state models -- Test generation from combinatorial designs -- Test selection, minimizations, and prioritization for regression testing -- Test adequacy: assessment using control flow and data flow -- Test-adequacy assessment using program mutation.