Applied Informatics. generation. testing. testovanie. logický obvodHornák, Martin, 1988- Automatické generátory testovacích vektorov. -- Bratislava : STU v Bratislave FEI, 2012. -- 41 s CD-ROOM. Nagy, Lukáš, 1985-