Отправить по sms: Verification-based software-fault detection