it4all - Ein Korrekturframework für Programmieraufgaben(it4all - A Framework for Verification of Programming Exercises). - Björn Eyselein; Frank Puppe (DeLFI Workshops, 2018)