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.
Mutation testing is for finding holes in the tests. PBT is for finding holes in your code.
I stand corrected. These methods are indeed even better when you can't think of more examples.