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