Functional test data generation for Simulink-like models