[plt-dev] random testing, we need to do more of this

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jan 25 07:22:49 EST 2010

On Mon, Jan 25, 2010 at 2:05 AM, Michael Sperber
<sperber at deinprogramm.de> wrote:
> I'll point out that a quite complete port of the original QuickCheck is
> sitting in the deinprogramm/quickcheck collection.  I wrote it for our
> teaching languages (where feedback indicates it's a success), but it's
> by no means restricted to that.

Can you say more about how you use it in the course? Specifically,
where do you start using it and what kinds of invariants do you use
with it?


Posted on the dev mailing list.