Filipe Araujo and Auri Vincenzi. 2020. How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level?. In Proceedings of the 19th Brazilian Symposium on Software Quality, December 01, 2020, São Luiz do Maranhão, Brasil. SBC, Porto Alegre, Brasil, 151-159.