[racket-dev] Universe and Redex

From: Neil Van Dyke (neil at neilvandyke.org)
Date: Sat Apr 23 21:23:34 EDT 2011

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".


Posted on the dev mailing list.