Reduce:
Testing time, time to analyze the cause of a failure,
testing costs and volume of test code
QuickCheck offers:
•
Thousands of tests automatically generated from a property that
ought to hold for your software •
Controlled random generation, testing within your borders of interest •
Failing test cases are automatically simplified
QuickCheck gives you:
•
a shorter time to market •
better quality software •
test driven development / model-based testing