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