Príspevok k metódam a algoritmom automatického generovania funkčných testov procesorov. - Hudec, Ján (2014)