list | abstracts | bib ]

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

paper pdf   

Citation

Milena Vujošević-Janicić, 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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/Vujosevic-JanicicETAL13SoftwareVerificationGraphSimilarityAutomated.pdf}
}

list | abstracts | bib ]