Lazy Generation of Canonical Test Programs. - Jason S. Reich; Matthew Naylor; Colin Runciman (IFL, 2011)

Advances in Lazy SmallCheck. - Jason S. Reich; Matthew Naylor; Colin Runciman (IFL, 2012)

Property-based testing and properties as types : a hybrid approach to supercompiler verification. - Jason S. Reich (2013)