[racket-dev] Universe and Redex

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Apr 23 23:35:16 EDT 2011

On Sat, Apr 23, 2011 at 8:23 PM, Neil Van Dyke <neil at neilvandyke.org> wrote:
> David Van Horn wrote at 04/23/2011 09:12 PM:
>> was to define the language of client to server messages as a Redex
>> language and then use Redex's random term generation to stress test our
>> server.
> Would be interesting to see how this work with Redex would be framed within
> related work.  There is a popular broad term, "fuzz testing".

There is a huge pile of work on random testing. See our papers for a
start on citations.


Posted on the dev mailing list.