Test data: generators, shrinkers and Arbitrary instances| fscheck.github.io
Outwitting malicious compliance with property-based testing| fsharpforfunandprofit.com
