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