Testovateľnosť a metódy generovania testov pre digitálne systémy - Gramatová, Elena, 1948- (STU v Bratislave FIIT, 2005)