[qcoh]

PBT is awesome but I would still like to have tests I can easily reason about when implementing a tricky algorithm. The way I see it, TDD is the specification, PBT is for finding gaps in my specification.

[boxed]

Mutation testing is for finding holes in the tests. PBT is for finding holes in your code.