[Haskell-cafe] Tests by properties: origin?

[Yves Parès]

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
(see http://en.wikipedia.org/wiki/Quickcheck), but I can't find what was
QuickCheck inspiration.

(This question pop up when arguing with a Java user about what Haskell
brings to the field of development, he pretends it would be astonishing
that QuickCheck is the first one using this testing paradigm).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120601/cf5c9652/attachment.htm>