Property-Based Testing in a Screencast Editor

A good case study on using PBT. I particularly liked the idea of generating outputs and then using them to generate inputs, that hadn't occurred to me to do.

I would have liked a discussion of the drawbacks of PBT, and more examples.

It's mostly a rehash of his blog on the same topic, but the information is good, the topic is interesting, and as far as I can tell, nobody's ever managed to do gui-based property testing before. It's worth the read!