On Sat, Apr 23, 2011 at 8:23 PM, Neil Van Dyke <n...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
