Functional Programming, Haskell and Automated Generation of Tests
youtube.com