Property-Based Testing vs Examples

Contrast deterministic example testing with randomized input generation strategies.