Yes, it's that one, the first Quickcheck paper, thanks. The link on the wikipedia page is also dead.
2012/6/1 Ivan Perez <ivanperezdoming...@gmail.com> > 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 <yves.pa...@gmail.com> 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 <j...@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@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 > > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe