Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments