[Haskell-cafe] Tests by properties: origin?

Vo Minh Thu noteed at gmail.com
Fri Jun 1 12:24:24 CEST 2012


See the Further Reading section on the wikipedia page you provided
(http://en.wikipedia.org/wiki/Quickcheck), not all links are dead.

2012/6/1 Yves Parès <yves.pares at gmail.com>:
> 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), 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/
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
>
> _______________________________________________
> 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