Zaslat SMS: Second Workshop on Software Testing, Verification, and Analysis