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?." <em>Proceedings of the 19th Brazilian Symposium on Software Quality,
São Luiz do Maranhão, 2020</em>. SBC, 2020,  
pp.151-159.