CodeHunt https://www.codehunt.com/a game about coding with grading built in
• Classic game experience• Maps to AP Computer
Science• Players discover a secret
algorithm and write code for it
• Awesome Monaco editor• Timely and interactive feedback• Student attempts validated by
Pex using MSR’s state-of-the-art dynamic symbolic analysis
• Pex4Fun had >1.4 million submitted programs so far• Code Hunt aims to exceed this figure with
gamification and Java source translation
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop. Teaching and learning programming and software engineering via interactive gaming. ICSE 2013, Software Engineering Education, pp. 1117-1126
Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale
Nikolai Tillmann, Jonathan de Halleux, Judith Bishop (Microsoft Research) Tao Xie (U. Illinois at Urbana-Champaign)
1,458,885 clicked 'Ask Pex!'
Secret Implementation
class Secret { public static int Puzzle(int x) { if (x <= 0) return 1; return x * Puzzle(x-1); }}
Player Implementation
class Player { public static int Puzzle(int x) { return x; }}
class Test {public static void Driver(int x) { if (Secret.Puzzle(x) != Player.Puzzle(x)) throw new Exception(“Mismatch”); }}
behaviorSecret Impl == Player Implhttp://pex4fun.com/
Contact: {nikolait, jhalleux, jbishop}@microsoft.com, [email protected]