21 citations · 88 across the 13 of their papers we have counts for
1 paper · 1 filter
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic +1
In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading fra…