Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing