Semantic similarity based evaluation for C programs through the use of symbolic execution
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments