An automated framework for structural test-data generation | Synapse