Enviar por SMS: Príspevok k metódam nedeterministického generovania testov pre číslicové obvody :