How far are we from testing a program in a completely automated way, considering the mutation testing criterion at unit level? | Synapse