Learning objectives
What you should understand
- Test invariants across component boundaries
- Combine fuzzing, properties, sanitizers and replay
- Prove recovery produces authoritative state
Lab
Hands-on exercise
Run adversarial feeds, order races and crash scenarios through the platform.
Deliverable
Evidence of completion
A correctness dossier with test taxonomy and discovered defects.
- Prerequisite
- EP 90