área de pesquisa Abner Corrêa Barros Nícolas de Araújo Moreira QSEE-TAS: Execução automatizada de casos de testes para software embarcado em aplicações espaciais
