According to Eivind Jahren, property-based testing is an invaluable tool for its ease of use and effectiveness. It is flexible in what requirements one can formulate and is simple and lightweight enough to put in the hands of software developers to ....