Use property-based testing