Another Keynote speaker at Lambda Days this year was John Hughes his talk was a detailed guide on how write properties of pure functions; the talk stems from his love of testing, his aim was to demistify testing through the use of Haskell code. He concludes by comparing model-based properties against other approaches, then discussing their negative elements to finally suggest metamorphic based properties might be the better option.
This talk was given by John Hughes at Lambda Days.