Includes bibliographical references and index.

Part I. A Mathematical Context
Chapter 1. A Perspective on Testing
Chapter 2. Examples
Chapter 3. Discrete Math for Testers
Chapter 4. Graph Theory for Testers

Part II. Unit Testing
Chapter 5. Boundary Value Testing
Chapter 6. Equivalence Class Testing
Chapter 7. Decision Table Based Testing
Chapter 8. Code-Based Testing
Chapter 9 Testing Object-Oriented Software
Chapter 10. Retrospective on Unit Testing

Part III. Beyond Unit Testing
Chapter 11. Life Cycle-Based Testing
Chapter 12. Integration Testing
Chapter 13. System Testing
Chapter 14. Model-Based Testing
Chapter 15. Software Complexity
Chapter 16. Testing Systems of Systems
Chapter 17. Feature Interaction Testing

Chapter 18. Case Study: Testing Event-Driven Systems
Chapter 19. A Closer Look at All Pairs Testing
Chapter 20. Software Technical Reviews
Chapter 21. Epilogue: Software Testing Excellence

"The fourth edition of the widely adopted text and reference book is completely revised and updated and features a new section on Life Cycle-Based Testing. New chapters cover Software Complexity and Mutation Testing and Error Seeding. The text still provides a solid mathematical background in discrete mathematics and linear graph theory that is fundamental to understating software testing. The book also describes specification-based (functional) and code-based (structural) test development techniques, while extending this theoretical approach to less understood levels of integration and system testing"--