[erlang-questions] Resources for QuickCheck and TyPer

Tilman Holschuh <>
Mon Apr 2 00:28:39 CEST 2012

Hi Tej,

Have you looked into Proper yet? It's an open source QuickCheck clone you can find here:


or here


There are some examples and guides on the web page. Helped me to get going with property based testing.

- Tilman

On 2012-04-01, at 3:17 PM, schwarzenblitz wrote:

> Hi, 
> I am new to the world of Erlang, and I just started reading about quickcheck
> and typer, but was unable to find a lot of resources online. 
> This was the best link i found for quickcheck 
> http://www.erlang-factory.com/upload/presentations/193/EUC2009-QuickCheck.pdf 
> However, I still have many unanswered questions...also, I tried to download
> QuickCheck from this location (official website). But it retruns a page with
> junk characters. Can someone kindly guide me to a location where I can
> download quickcheck ? 
> -Tej
> --
> View this message in context: http://erlang.2086793.n4.nabble.com/Resources-for-QuickCheck-and-TyPer-tp4524580p4524580.html
> Sent from the Erlang Questions mailing list archive at Nabble.com.
> _______________________________________________
> erlang-questions mailing list
> http://erlang.org/mailman/listinfo/erlang-questions

More information about the erlang-questions mailing list