Αποστολή με SMS: Effective Functional Verification