SMS: Software testing techniques