property-based testing

generates random inputs, applies them to the system, and verifies that a specified property always holds

“Property-based testing found an edge case where serialization failed for negative zero.”