Mutation-based software testing using program schemata | Synapse