kirancodes.me
To Proof Maintenance & Beyond!

Automated feedback generation for introductory programming assignments

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

Abstract

We present a new method for automatically providing feedback for introductory programming problems. In order to use this method, we need a reference implementation of the assignment, and an error model consisting of potential corrections to errors that students might make. Using this information, the system automatically derives minimal corrections to student's incorrect solutions, providing them with a measure of exactly how incorrect a given solution was, as well as feedback about what they did wrong.

Related papers