“Automated Correctness Checking of the student’s Programming Assignments”. Applied Informatics, vol. 28, no. 1, Apr. 2020, https://doi.org/10.31449/upinf.80.