Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing - Cavalcante, Everton (Association for Computing Machinery, 2020)