Very nice introduction to qickcheck https://youtu.be/AfaNEebCDos Christian Kruse Very nice introduction to quickcheck. over 7 years ago
