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 <[email protected]> > 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 > [email protected] > http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
