Systém pro automatické testování správnosti úkolů v kurzech programování - Špaček, František (2014)