Thanks for writing this, its sad that not a lot of people talk about Property-Based testing, it's one of these great ideas from the late 90's that never seem to hit the mainstream despite how awesome it looks.