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