Fig. 4From: Functional test data generation for Simulink-like modelsQuadratic modelBack to article page