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]
@article{Vujosevic-JanicicNTK13,
title = {Software verification and graph similarity for automated evaluation of students' assignments},
author = {Milena Vujosevic-Janicic and Mladen Nikolic and Dusan Tosic and Viktor Kuncak},
year = {2013},
doi = {10.1016/j.infsof.2012.12.005},
url = {http://dx.doi.org/10.1016/j.infsof.2012.12.005},
researchr = {https://researchr.org/publication/Vujosevic-JanicicNTK13},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {55},
number = {6},
pages = {1004-1016},
}