Araujo, Filipe, E Vincenzi, Auri. " How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level?" Anais do SimpĆ³sio Brasileiro de Qualidade de Software (SBQS) [Online], (1 dezembro 2020)