Random testing for higher-order, stateful programs. - Casey Klein; Matthew Flatt; Robert Bruce Findler (OOPSLA, 2010)

A Semantics for Context-Sensitive Reduction Semantics. - Casey Klein; Jay A. McCarthy; Steven Jaconette; Robert Bruce Findler (APLAS, 2011)

Run your research: on the effectiveness of lightweight mechanization. - Casey Klein; John Clements; Christos Dimoulas; Carl Eastlund; Matthias Felleisen; Matthew Flatt; Jay A. McCarthy; Jon Rafkind; Sam Tobin-Hochstadt; Robert Bruce Findler (POPL, 2012)

The Racket virtual machine and randomized testing. - Casey Klein; Matthew Flatt; Robert Bruce Findler (High. Order Symb. Comput., 2012)