Tired of writing and maintaining thousands of automated tests? Did you know that repeating tests finds only 15% of your bugs anyway? Let QuickCheck generate new tests for you daily, saving you effort and nailing your bugs earlier! QuickCheck takes you quickly from specification to identified bug. Three steps to QuickCheck Write a QuickCheck specification instead of test cases— general properties y