Property-based testing: How to find bugs your unit tests miss
Property-based testing is a software testing technique that checks whether a program satisfies general rules, called properties, across many automatically generated inputs. Instead of writing tests for individual examples, developers define how their code should behave and let a testing framework search for inputs that break those rules.