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