Αποστολή με SMS: Formal Approaches to Software Testing