A multi-objective approach to search-based test data generation | Synapse