- Preface
- Introduction
- Beyond Unit Tests: Automated Test Case Generation
- Beyond Unit Tests: Property-based Testing
- Execute Your User Stories!
- Where is my cassette? Mocking system testing using capture and replay
- Contract testing with Pact
- Test Containers
- E2E with Cypress
- Monitoring as Testing
- Proof Pearl: On the Correctness of Update Advisor
- GramTest: a tool for grammar-based test case generation
- Dynamic Symbolic Execution with Pathgrind
- EFDA: a benchmark for software composition analysis tools
- Perspectives