Constraint-based automatic test data generation | Synapse