Inferring Loop Invariants through Gamification. - Dimitar Bounov; Anthony DeRossi; Massimiliano Menarini; William G. Griswold; Sorin Lerner (CHI, 2018)