Search-based software test data generation: a survey | Synapse