Preface; Part I. Foundations: 1. Why do we test software?; 2. Model-driven test design; 3. Test automation; 4. Putting testing first; 5. Criteria-based test design; Part II. Coverage Criteria: 6. Input space partitioning; 7. Graph coverage; 8. Logic coverage; 9. Syntax-based testing; Part III. Testing in Practice: 10. Managing the test process; 11. Writing test plans; 12. Test implementation; 13. Regression testing for evolving software; 14. Writing effective test oracles; List of criteria. sakriti opis