nw-pbt-stateful

Stateful property-based testing patterns, model-based testing, and anti-patterns