https://blog.nelhage.com/post/property-testing-is-fuzzing/

“Property-based testing” refers to the idea of writing statements that should be true of your code (“properties”), and then using automated tooling to generate test inputs (typically, randomly-generated inputs of an appropriate type), and observe whether the properties hold for that input. If an input violates a property, you’ve demonstrated a bug, as well as a convenient example that demonstrates it. A classic example of property-based testing is testing a sort function:

2017-10-03T16:00:00Zhttps://blog.nelhage.com/post/Nelson ElhageRecent content in Posts on Made of Bugs2026-09-17T03:37:03Zrss20false60Nelson Elhagenelson-elhage0"5b2ae9eec2e293572f6ae5a000bd0161-ssl-df"200utf-8