Slides and example code about property based testing