Yes, it&#39;s that one, the first Quickcheck paper, thanks.<br><br>The link on the wikipedia page is also dead.<br><br><div class="gmail_quote">2012/6/1 Ivan Perez <span dir="ltr">&lt;<a href="mailto:ivanperezdominguez@gmail.com" target="_blank">ivanperezdominguez@gmail.com</a>&gt;</span><br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Is this the paper you are looking for:<br>
<a href="http://www.eecs.northwestern.edu/%7Erobby/courses/395-495-2009-fall/quick.pdf" target="_blank">http://www.eecs.northwestern.edu/~robby/courses/395-495-2009-fall/quick.pdf</a><br>
?<br>
<div class="HOEnZb"><div class="h5"><br>
On 1 June 2012 11:20, Yves Parès &lt;<a href="mailto:yves.pares@gmail.com">yves.pares@gmail.com</a>&gt; wrote:<br>
&gt; Yes ^^ but I can&#39;t find this paper, Koen Claessen website doesn&#39;t mention it<br>
&gt; and the link on the page<br>
&gt; <a href="http://www.haskell.org/haskellwiki/Introduction_to_QuickCheck" target="_blank">http://www.haskell.org/haskellwiki/Introduction_to_QuickCheck</a> is dead.<br>
&gt;<br>
&gt;<br>
&gt; 2012/6/1 Janis Voigtländer &lt;<a href="mailto:jv@informatik.uni-bonn.de">jv@informatik.uni-bonn.de</a>&gt;<br>
&gt;&gt;<br>
&gt;&gt; Am <a href="tel:01.06.2012%2012" value="+33106201212">01.06.2012 12</a>:00, schrieb Yves:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Out of curiosity, does someone know if QuickCheck was the first test<br>
&gt;&gt;&gt; framework working through test by properties associated with random<br>
&gt;&gt;&gt; generation or if it drew the idea from something else?<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Because the idea has be retaken by a lot of frameworks in several<br>
&gt;&gt;&gt; languages<br>
&gt;&gt;&gt; (seehttp://<a href="http://en.wikipedia.org/wiki/Quickcheck" target="_blank">en.wikipedia.org/wiki/Quickcheck</a>), but I can&#39;t find what was<br>
&gt;&gt;&gt; QuickCheck inspiration.<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; How about reading the original paper introducing QuickCheck? If the<br>
&gt;&gt; authors drew inspiration from elsewhere, the paper is for sure where<br>
&gt;&gt; they would tell you, first hand. :-)<br>
&gt;&gt;<br>
&gt;&gt; Best,<br>
&gt;&gt; Janis.<br>
&gt;&gt;<br>
&gt;&gt; --<br>
&gt;&gt; Jun.-Prof. Dr. Janis Voigtländer<br>
&gt;&gt; <a href="http://www.iai.uni-bonn.de/%7Ejv/" target="_blank">http://www.iai.uni-bonn.de/~jv/</a><br>
&gt;&gt;<br>
&gt;&gt; _______________________________________________<br>
&gt;&gt; Haskell-Cafe mailing list<br>
&gt;&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt;&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>
&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
</div></div></blockquote></div><br>