Random testing for higher-order, stateful programs.

Casey Klein, Matthew Flatt, Robert Bruce Findler

Browse the full OOPSLA paper archive.