Property-based Testing Patterns
blog.ssanj.net
Some common patterns on choosing the right properties for your property-based tests.