PBT is an approach to testing in which we test the properties of a function rather than individual examples. Instead of a single test with specific input data, the framework generates hundreds of random cases.

1. Finds hidden bugs that are not covered by specific tests.
2. Expresses the behavior of the system through properties.
3. Automatically generates hundreds of inputs.
4. Reduces the risk of “bias”, when tests check only “convenient” cases.