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