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)

Picard: a creative and social online flashcard learning game. - Kathleen Tuite; Timothy Pavlik; Sandra B. Fan; Tyler Robison; Alexander Jaffe; Yun-En Liu; Erik Andersen 001; Steven L. Tanimoto (FDG, 2012)