Functional test data generation for Simulink-like models - Araujo, Rodrigo Fraxino; Delamaro, Márcio Eduardo; Maldonado, José Carlos (Journal of the Brazilian Computer Society, 2013)