A practice-first plan for using property-based tests · PitHub