[erlang-questions] Resources for QuickCheck and TyPer

[Tilman Holschuh]

Hi Tej,

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

https://github.com/manopapad/proper

or here

http://proper.softlab.ntua.gr/

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

Cheers
- 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
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions