Learn to design randomized tests
Learn to use (in a simple way) the quickcheck library
Lab description: lab10.pdf or lab10.html
Code for the lab:
Schedule