PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Análise de Mutantes
-
Ferramentas de Teste
-
Sistemas Reativos
-
Statecharts
-
Teste de Especificação
-
Teste de Especificações de Software
-
Teste de Mutação
Identidade
identificador BrCris
-
d37b05ec43fa008a354ba7da37b2d321
identificador Oasisbr
-
USP_219aff69f1bae7c80840cdc2ffe08e93