Random Input and Automated Output Generation in Submitty. - Evan Maicus; Drumil Patel; Matthew Peveler; Barbara Cutler (SIGCSE, 2020)