Funkčné generovanie testov procesorov - Prágai, Albert, 1992- (STU v Bratislave FIIT, 2014)