On 07/13, Manfred Lotz wrote: >I think Fred could add a section "Unit testing versus property based >testing" and add your explanations. > Similar content is already part of the book, though not necessarily in a dedicated section.