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".
--
http://www.neilvandyke.org/