http://www.agiletestingdays.com/session/consensus-talks-6/
Slides: Property Based Testing with ScalaCheck.pdf
- use incomplete properties
- what must always be true?
- what must never happen?
- Reference Implementation (does my new implementation do the same as my old)
- Round-trip Properties
- for reverse functions
- Contract Properties
- set of rules
