6 Jan
2011
6 Jan
'11
10:08 a.m.
Thanks, someone else also pointed out: http://www.cse.chalmers.se/~rjmh/QuickCheck/ C. Am 05.01.2011 19:16, schrieb Stephen Tetley:
The first QuickCheck paper works as a tutorial although there are some changes in QuickCheck2 that are slightly incompatible.
Papers that the author made available but where the home page has disappeared are often on CiteSeer or KFUPM - King Fahd University of Petroleum and Minerals. KFUPM seems to be more reliable than CiteSeer these days:
http://reference.kfupm.edu.sa/
A Lightweight Tool for Random Testing of Haskell Programs
http://reference.kfupm.edu.sa/content/q/u/quickcheck__a_lightweight_tool_for...
A bit more advanced :
http://reference.kfupm.edu.sa/content/t/e/testing_monadic_code_with_quickche...