Title: 2nd Brazilian Symposium on Systematic and Automated Software Testing