[racket-dev] Universe and Redex

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.

Robby