Αποστολή με SMS: Assesing fault model and test quality