Resumo
Esta proposta de doutorado está inserida no contexto do INCT/SEC (INCT/SEC), processo FAPESP 08/57870-926, visa contribuir com a rede de pesquisa para trabalhos na área de Sistemas Embarcados Críticos. O objetivo deste projeto de doutorado é fornecer suporte ao desenvolvimento com qualidade de sistemas embarcados críticos por meio da aplicação de técnicas de teste de software. Será desenv…