Envoyer par SMS: Effective Functional Verification