O estudante César Vieira Rocha, da Universidade Federal do Amazonas, pesquisa a geração automática de ‘mutantes’ baseada na especificação do software para geração de sequência de testes em sistemas embarcados em tempo real.