For stochastic models that can generate different outputs from identical inputs, property-based testing helps identify which input patterns make the model unstable. Testing deterministic systems is ...