Building on developers' intuitions to create effective property-based tests

John Hughes gave his talk at Lambda Days on property-based testing which he defines as a testing tool that can be used, instead of writing test cases, writing general property of the code. 

This talk was given by John Hughes at Lambda Days.