Hypothesis 1.0: A production quality property-based testing library for Python

[Paul Rubin]

David MacIver <david at drmaciver.com> writes:
> Hypothesis is based on Quickcheck
> (https://wiki.haskell.org/Introduction_to_QuickCheck2)

This is great.  Have you looked at the Erlang version of Quickcheck?  It
may have aspects more directly applicable to Python, since Erlang is
dynamically typed like Python is.