@ARTICLE{
author={Vujosevic-Janicic Milena M,Nikolic Mladen,Tosic Dusan D,Kuncak Viktor},
year={2013},
title={Software verification and graph similarity for automated evaluation of students' assignments},
journal={INFORMATION AND SOFTWARE TECHNOLOGY},
volume={55},
number={6},
pages={1004-1016},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Kuncak Viktor},
year={2012},
title={Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description},
journal={VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS},
volume={7152},
number={},
pages={98-113},
document_type={Proceedings Paper},
}