Software verification and graph similarity for automated evaluation of students' assignments

Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak. Software verification and graph similarity for automated evaluation of students' assignments. Information \& Software Technology, 55(6):1004-1016, 2013. [doi]