Automated Personalized Feedback in Introductory Java Programming MOOCs
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments