Automated feedback generation for introductory programming assignments.

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

Browse the full PLDI paper archive.