[Haskell-cafe] QuickCheck Questions

Emil Axelsson emax at chalmers.se
Mon Sep 28 11:16:38 EDT 2009

Not sure this is what you want, but I thought I'd mention "Formal 
Specifications for Free":


(I wasn't able to find a better link. That talk is for Erlang, but 
people are working on this for Haskell QuickCheck.)

/ Emil

Yusaku Hashimoto skrev:
> 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.
> Cheers
> -nwn
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list