Table of contents The history of property-based testing A survey of property-based testing libraries Analysis Why are property-based testing libraries in such a sad state? Stateful and parallel testing isn’t as useful as pure testing Stateful modelling requires training Closed source helps industry adoption What can we do about it? Synthesis Pure property-based testing recap Stateful property-based testing Example: counter Stateful library implementation Example: circular buffer Example: jug puz...