Contexto: Aplicações para Cidades Inteligentes já são uma realidade para diversos domínios críticos como transporte e mobilidade urbana, saúde, residências, e segurança pública, dentre outros. Por exemplo, tecnologias para o controle de tráfego ajudam a reduzir o tempo no trânsito em grandes cidades; porém, falhas em tempos semafóricos, por exemplo, podem causar acidentes, trazendo sér...
Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada ve...
XXVI IEEE International Symposium on Software Reliability Engineering, AR.EXT
Contexto: O critério de seleção de testes Análise de Mutantes, também conhecido como teste de mutação, é uma importante opção para avaliar tanto sistemas de software quanto conjuntos de testes utilizados para testá-los. Porém, esse critério impõe alto custo de aplicação. Devido a isso, técnicas de redução de custo têm sido enfatizadas, visando a reduzir significativamente o custo do cr...