5 Jan
2011
5 Jan
'11
1:16 p.m.
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...