Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing