Are mutants a valid substitute for real faults in software testing? | Synapse