How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level? - Filipe Santos Araujo; Auri Marcelo Rizzo Vincenzi (SBQS, 2020)