Enviar por SMS: Príspevok k metódam a algoritmom automatického generovania funkčných testov procesorov