Semantic similarity based evaluation for C programs through the use of symbolic execution
Automated feedback generation for introductory programming assignments