QuickCheck in Action