Introduction
Property based testing vs unit testing
Overview of Haskell and QuickCheck
Setting up the test environment
Using combinators
Defining properties
Observing the distribution of test data
Defining test data generators
Generating test cases
Executing tests
Debugging and modifying of properties
Integrating QuickCheck into a continuous testing and deployment environment
Other available frameworks
SmallCheck
Closing remarks |