“Automated correctness checking of the student’s programming assignments”, UI, vol. 28, no. 1, Apr. 2020, doi: 10.31449/upinf.80.