Text this: Príspevok k metódam nedeterministického generovania testov pre číslicové obvody :