Property-Based Testing – Testing Assumptions You Don’t Know You’re Making (spin.atomicobject.com)