Inferring Loop Invariants through Gamification.

Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner

Browse the full CHI paper archive.