Generovanie funkčných testov procesorov - Macho, Pavol (2017)