Does anyone know of a good introduction to property based testing?
At what level? Lectures by the quickcheck guy are usually a good basic introduction.
http://propertesting.com/ is a nice one, targeted at Erlang.
This blog for the hypothesis Python library has a lot of great articles about how to use this stuff in “enterprise-y” software.
To be honest it was way more convincing to me than most other articles as to the utility of this stuff for higher-level applications