[Haskell-cafe] QuickCheck Questions

Yusaku Hashimoto nonowarn at gmail.com
Mon Sep 28 10:59:07 EDT 2009

After a few more investigations, I can say

QuickCheck does:
- make easy to finding couter-cases and refactoring codes
- make easy to test some functions if they have good mathematical properties
- generate random test cases

But QuickCheck does *not*:
- help us to find good properties

So what I want to know is "how to find good properties." Please let me
know how do you find QuickCheck properties. There are so many
tutorials or papers for using QuickCheck, but when I try to apply them
to my programming, I often miss properties in my codes.


More information about the Haskell-Cafe mailing list