@article{CSIS_2020_17_1_a11,
     author = {Milena Vujo\v{s}evi\'c Jani\v{c}i\'c and Filip Mari\'c},
     title = {Regression {Verification} for {Automated} {Evaluation} of {Students} {Programs}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a11/}
}