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]

Authors

Milena Vujosevic-Janicic

This author has not been identified. Look up 'Milena Vujosevic-Janicic' in Google

Mladen Nikolic

This author has not been identified. Look up 'Mladen Nikolic' in Google

Dusan Tosic

This author has not been identified. Look up 'Dusan Tosic' in Google

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google