Testovanie, diagnostika a verifikácia digitálnych systémov - Gramatová, Elena; Jelemenská, Katarína (Edícia učebných textov, 2012)