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

Citation

Milena Vujošević-Janičić, Mladen Nikolić, Dušan Tošić, and Viktor Kuncak. Software verification and graph similarity for automated evaluation of students' assignments. Information and Software Technology, 2013.

BibTex Entry

@article{Vujosevic-JanicicETAL13SoftwareVerificationGraphSimilarityAutomated,
  author = {Milena Vujo\v{s}evi\'{c}-Jani\v{c}i\'{c} and Mladen Nikoli\'{c} and Du\v{s}an To\v{s}i\'{c} and Viktor Kuncak},
  title = {Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments},
  journal = {Information and Software Technology},
  year = 2013
}