The Racket virtual machine and randomized testing. - Klein, Casey; Flatt, Matthew; Findler, Robert (Higher-Order & Symbolic Computation, 2012)