Title: 
    QuickCheck: An Automatic Testing Tool for Haskell 

Presented by Jue Wang

Abstract: 
    QuickCheck is an automatic specification based testing tool for 
Haskell programs developed by Koen Claessen and John Hughes. With this tool, the 
programmer express program specifications in Haskell as properties that 
are then verified on a large number of randomly generated test cases. In 
this presentation, I will present an overview of QuickCheck, including the 
combinators it provides programmers to define properties and test 
generators, and some of the pitfalls that should be avoid when using 
QuickCheck. 

The paper and code for QuickCheck can be found at 
http://www.cs.chalmers.se/~rjmh/QuickCheck/