John Hughes: Specification based testing with QuickCheck: <i>tutorial talk</i>. FMCAD 2011: 17