QuickCheck as Test Set Generator