barrucadu's memos - tagged 'property-based testing'