Formal Autograding in a Classroom. - Dragana Milovancevic; Mario Bucev; Marcin Wojnarowski; Samuel Chassot; Viktor Kuncak (ESOP (2), 2025)