Proceedings of the 31st Brazilian Symposium on Software Engineering