Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments
In this paper, the authors promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. They present a new grading framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated grading. These two approaches are also useful in providing a comprehensible feedback that can help students to improve the quality of their programs. They also present their corresponding tools that are publicly available and open source. The tools are based on LLVM low-level intermediate code representation, so they could be applied to a number of programming languages.