Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing - Canedo