Automated feedback generation for introductory programming assignments. (2013)

by Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
Venue:In PLDI,