QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Koen Claessen John Hughes Chalmers University of Technology Chalmers University of Technology
[email protected] [email protected]
are hard to test and so testing can b e done at a
ABSTRACT monad