“Automated correctness checking of the student’s programming assignments” (2020) Applied Informatics, 28(1). doi:10.31449/upinf.80.