1
Assuntos:
“...[pt] TESTE BASEADO EM MODELO...”
[pt] GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
Tese
2
Assuntos:
“...teste baseado em modelo...”
CEManTIKA Test Creator: um método de geração de casos de teste para aplicativos móveis sensíveis ao contexto baseado em modelos e padrões de defeitos
Dissertação
3
Assuntos:
“...Teste baseado em modelo. Arquitetura orientada a serviço...”
Model based testing of service oriented applications
Tese
4
Assuntos:
“...Teste baseado em modelo...”
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Tese
5
Assuntos:
“...Teste Baseado em Modelo...”
Investigando o impacto da evolução de casos de uso em testes gerados no contexto de teste baseado em modelo.
Dissertação
6
Assuntos:
“...Teste Baseado em Modelo...”
Análise comparativa entre técnicas de priorização geral de casos de teste no contexto do teste baseado em especificação.
Dissertação
7
Assuntos:
“...Testes baseados em modelos...”
Verificando a corretude de geradores automáticos de código
Dissertação
8
Assuntos:
“...Teste Baseado em Modelos...”
Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
Dissertação
9
10
Assuntos:
“...Teste baseado em modelos (MBT)...”
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
Dissertação
11
Assuntos:
“...Teste baseado em modelos...”
Testes de segurança de web services a partir de padrões de ataques representados em modelo de estado
Dissertação
12
Assuntos:
“...Teste baseado em modelos...”
Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
Dissertação
13
Assuntos:
“...[pt] TESTE BASEADO EM MODELOS...”
[en] A MODEL-BASED TESTING APPROACH FOR NORMATIVE AUTONOMOUS SYSTEMS
Tese
14
Assuntos:
“...Teste baseado em modelos...”
Teste baseado em modelos simbólicos para sistemas de tempo real.
Tese
15
Assuntos:
“...Testes Baseados em Modelos...”
Geração de casos de teste a partir de especificações B
Dissertação
16
Assuntos:
“...Teste baseado em modelos...”
Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto
Tese
17
Assuntos:
“...Teste baseado em modelos...”
InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
Dissertação
18
Assuntos:
“...Teste baseado em modelos...”
Evolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações web
Dissertação
19
Assuntos:
“...Teste baseado em modelos...”
Evaluating finite state machine based testing methods on RBAC systems
Dissertação
20
Assuntos:
“...Teste baseado em modelos...”
Automatic generation of configurable test-suites for software product lines
Tese