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