slides and related material for talk on property based testing