#property-based testing