Automatické generovanie programových testov diplomová práca - Harčaríková, Zuzana (2013)