Nice work @ferd, congratulations! Interestingly, I taught a course on software testing this past fall and I actually thought about using your blog post as sort of a starting place to talk about property-based testing. It didn’t make the cut this semester, but since you went to the trouble of writing a whole book, I’ll find a place for it next time :-)
I’d be interested to see how this fits within the context of a general software testing course. Part of the challenge of property-based testing is that it is rather framework-specific and difficult to generalize for that reason. There are some broad principles that apply in plenty of cases (“thinking in properties”) but I’m curious about the practical sides of it.
As always great work @ferd. Your books are essential for the Erlang community. I have not finished the book but we are already using what we learnt from it.