Zvýšenie efektivity testovania programových systémov diplomová práca - Petráň, Tomáš (2017)