Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática
Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study
José Carlos Maldonado
Marcio Eduardo Delamaro
Auri Marcelo Rizzo Vincenzi
Vinicius Humberto Serapilha Durelli