Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems. - Paulo Nolberto dos Santos Alarcon; Valdivino Alexandre de Santiago Júnior (ICCSA (6), 2017)