Software errors are expensive and dangerous. Best practices around testinghelp to improve software quality, but not all testing tools are created equal. In recent years, automated testing, which helps to save time and avoid developers' blind-spots, has begun to improve this state of affairs. In particular, property-based testing is a powerful automated testingtechnique that gives developers some of the power of formal methods without the high cost. PBT is incredibly effective at finding impor...
