Comment by eru

https://fsharpforfunandprofit.com/series/property-based-test... is an entertaining intro.

https://hypothesis.readthedocs.io/en/latest/ are the docs for one of the best property based testing libraries available in any language.