(When) Will Property-Based Testing Rule the World? [pdf]

By the amount of comments, never. PBT is nice where it fits, but I found for some problems the properties you define can become so complex that they need unit tests on their own. Which somehow defeats the purpose?!