Prostředky a metody pro automatické generování testovacích obvodů : disertační práce / Tomáš Pečenka .  Brno :  Fakulta informačních technologií, Vysoké učení technické v Brně,  2008 .  vii, 128 s.   [1, currently available 1]