search

braibant / articheck

14 stars 2 forks source link

Related work #1

Open braibant opened 10 years ago

braibant commented 10 years ago

Check the related work about quickcheck and smallcheck, and write the related work section in the paper.

braibant commented 10 years ago

http://blog.regehr.org/archives/1091

protz commented 10 years ago

http://okmij.org/ftp/Haskell/AlgorithmsH1.html#random-term

~ jonathan

On Sun 09 Feb 2014 09:20:58 PM CET, Thomas Braibant wrote:

http://blog.regehr.org/archives/1091

— Reply to this email directly or view it on GitHub https://github.com/braibant/articheck/issues/1#issuecomment-34585003.