icontract-hypothesis (pypi): Combine contracts and automatic testing.
Keywords: design-by-contract|contracts|automatic|testing|property-based