Araujo, Filipe, and Auri Vincenzi. "How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level?." Anais do XIX Simpósio Brasileiro de Qualidade de Software, São Luiz do Maranhão, 2020. SBC, 2020, pp.151-159.