Skip to content
Log in

Author

Mario Bucev

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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. · 0 citations