My previous post was an introduction to the motivations and benefits of a property-based testing approach. I also mentioned the John Hughes talk, …