2004-05-11, Prof. John Hughes visited our laboratory and gave his talk “Random Testing with QuickCheck” at the 1st workshop on “Types for Verification”. Because his talk was interesting for us, Sakai-san and I discussed to him in detail at the next day.
At that time, I started to implement QuickCheck in Ruby, however, hacking was interrupted so often. Then suddenly I lost any files by disk crash and I have no backup unfortunately.
2 years later, I restart the project again. Even RushCheck is in alpha-stage, I’m truly happy to ship it on RubyForge.