Zaslat SMS: The art of software testing