Includes index

Overview -- What is software quality -- Quality assurance -- Quality assurance in context -- Quality engineering -- Testing: concepts, issues, and techniques -- Test activities, management, and automation -- Coverage and usage testing based on checklists and partitions -- Input domain partitioning and boundary testing -- Coverage and usage testing based on finite-state machines and markov chains -- Control flow, data dependency, and interaction testing -- Testing techniques: adaptation, specialization, amd integration -- Defect prevention and process improvement -- Software inspection -- Formal verification -- Fault tolerance and failure containment -- Comparing quality assurance techniques and activities -- Feedback loop and activities for quantifiable quality improvement -- Quality models and measurements -- Defect classification and analysis -- Risk identification for quantifiable quality improvement -- Software reliability engineering