Re: [Haskell-cafe] Tests by properties: origin?

Yes, it's that one, the first Quickcheck paper, thanks. The link on the wikipedia page is also dead. 2012/6/1 Ivan Perez

Is this the paper you are looking for: http://www.eecs.northwestern.edu/~robby/courses/395-495-2009-fall/quick.pdf ?

On 1 June 2012 11:20, Yves Parès wrote:

...

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

...

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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe