There are plenty of implementations linked from http://en.wikipedia.org/wiki/QuickCheck http://en.wikipedia.org/wiki/QuickCheck. (I'm not sure in what state the

There are plenty of implementations linked from http://en.wikipedia.org/wiki/QuickCheck http://en.wikipedia.org/wiki/QuickCheck. (I'm not sure in what state they are though.)