Extensional and Intensional Checking of Student Programs in a Graphical Domain. - Patrick Ritzenfeld; Janis Voigtländer (ABP, 2025)