Property-based testing
======================