Zaslat SMS: Testing object-oriented software