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