Bug catcher: a system for software testing competitions. - Renée C. Bryce; Quentin Mayo; Aaron Andrews; Daniel Bokser; Michael Burton; Chelynn Day; Jessica Gonzolez; Tara Noble (SIGCSE, 2013)