Envoyer par SMS: A practitioner's guide to software test design