Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
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
-
Estelle
-
Statecharts
-
Teste de Especificações de Software
-
Teste estrutural
-
sistemas reativos
-
teste de especificações formais
-
teste de protocolos de comunicações
Identidade
identificador BrCris
-
a7943f7abd3670aa5e5fec28ece7c018
identificador Oasisbr
-
USP_1a8db2e37ba2c60d4f0275b7312ebc8a