Verification games: making verification fun. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Nathaniel Mote; Brian Walker; Seth Cooper; Timothy Pavlik; Zoran Popovic (FTfJP@ECOOP, 2012)