Fri Mar 28 22:08:18 EDT 2014

John Hughes on debugging imperative code with QuickCheck

Some conclusions ([1] 18:00)

- The same property can find many bugs.

- Minimal failed tests make debugging easier.

The latter is nice and convenient, but the former is actually a really
interesting argument, especially for testing low-level code:
behavioral models have _less_ properties than full-blown quirky
implementations, so might test different code paths or sub-solutions
for differing inputs.

EDIT: The stateful testing is proprietary.  It would be a nice
challenge to find out how to do this.

[1] http://www.youtube.com/watch?v=zi0rHwfiX1Q&feature=youtu.be