QuickCheck advanced course

This course is designed for max 6 designers. In this one day course, designers learn more about the advanced features of QuickCheck in order to be able to design their own QuickCheck libraries (for a specific test domain).
Good QuickCheck knowledge is a prerequisite.