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.