[Haskell-cafe] Tests by properties: origin?

[Yves Parès]

Yes ^^ but I can't find this paper, Koen Claessen website doesn't mention
it and the link on the page
http://www.haskell.org/haskellwiki/Introduction_to_QuickCheck is dead.

2012/6/1 Janis Voigtländer <jv at informatik.uni-bonn.de>

> Am 01.06.2012 12:00, schrieb Yves:
>
>> Out of curiosity, does someone know if QuickCheck was the first test
>> framework working through test by properties associated with random
>> generation or if it drew the idea from something else?
>>
>> Because the idea has be retaken by a lot of frameworks in several
>> languages
>> (seehttp://en.wikipedia.org/**wiki/Quickcheck<http://en.wikipedia.org/wiki/Quickcheck>),
>> but I can't find what was
>> QuickCheck inspiration.
>>
>
> How about reading the original paper introducing QuickCheck? If the
> authors drew inspiration from elsewhere, the paper is for sure where
> they would tell you, first hand. :-)
>
> Best,
> Janis.
>
> --
> Jun.-Prof. Dr. Janis Voigtländer
> http://www.iai.uni-bonn.de/~**jv/ <http://www.iai.uni-bonn.de/%7Ejv/>
>
> ______________________________**_________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120601/e2a905c9/attachment.htm>