área de pesquisa Critérios de geração de casos de teste de sistemas de tempo real. Diego Rodrigues de Almeida Estratégia para geração de sequencias de verificação para máquinas de estados finitos
