My talk on quick check and property based testing