[Haskell-cafe] Tests by properties: origin?

[Yves Parès]

Yes, it's that one, the first Quickcheck paper, thanks.

The link on the wikipedia page is also dead.

2012/6/1 Ivan Perez <ivanperezdominguez at 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.pares at 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 <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
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120601/6b4ea009/attachment.htm>