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