Property Based Testing for Better Code

Why replace our carefully chosen, exactingly specified example-based tests with properties, when properties are harder to write and less specific?

link to YouTube

Video from Midwest.io 2014

Related code: https://github.com/jessitron/scalacheck-prisoners-dilemma