Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto.
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
-
Context transformations
-
Test case generation
-
Timed context test case generation
-
Timed systems
-
formal verification
-
model-based testing
-
testing
Identidade
identificador BrCris
-
593a56f1f3ee8e6617d17b76ceb7f647
identificador Capes
-
20093469133003017005P8-Publication
identificador Oasisbr
-
UNICAMP-30_ace1f127c7ca791e84c37a6ff345a3ac