Update Property-based testing