área de pesquisa Maykon Luís Capellari Reutilização de teste em linha de produtos de software baseado em máquina de estados finitos para sistemas embarcados