Návrh automatického generovania testovacích vektorov pre testovanie digitálnych systémov - Hornák, Martin, 1988- (STU v Bratislave FEI, 2014)