The Racket virtual machine and randomized testing

Casey Klein, Matthew Flatt, Robby Findler. The Racket virtual machine and randomized testing. Higher-Order and Symbolic Computation, 25(2-4):209-253, 2012. [doi]

Abstract

Abstract is missing.