Jul 2026
Formal Autograding in a Classroom (Extended Version)
This work was able to use the outcome of equivalence checks to differentiate student submissions according to their high-level program structure, in particular their recursion pattern, even when their input-output behaviour is identical.
Dragana Milovančević, Samuel Chassot, Mario Bucev et al.
· ACM Transactions on Programm... · 0 citations