Return to Article Details Gamification of Loop-Invariant Discovery from Code Download Download PDF