skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML

Rocha, Mauricio Rêgo Mota Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17

Acesso online

2
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML

Pinheiro, Pedro Victor Pontes

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2014-04-15

Acesso online. A biblioteca também possui exemplares impressos.

3
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

Paiva, Sofia Larissa Da Costa

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-16

Acesso online. A biblioteca também possui exemplares impressos.

4
Automatic generation of configurable test-suites for software product lines
Automatic generation of configurable test-suites for software product lines
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Automatic generation of configurable test-suites for software product lines

Fragal, Vanderson Hafemann

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-11-28

Acesso online. A biblioteca também possui exemplares impressos.

5
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
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
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

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

Herculano, Paula Fernanda Ramos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2007-04-24

Acesso online

6
Test case generation by EFSM extracted from UML sequence diagrams
Test case generation by EFSM extracted from UML sequence diagrams
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Test case generation by EFSM extracted from UML sequence diagrams

Mauricio Rocha Adenilso da Silva Simão; Thiago Carvalho de Sousa; Marcelo Batista; International Conference on Software Engineering and Knowledge Engineering - SEKE (31. 2019 Lisboa)

Proceedings Pittsburgh : KSI Research, 2019

Pittsburgh KSI Research Inc. and Knowledge Systems Institute Graduate School 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2956065 )(Acessar)

7
Model-based test case generation from UML sequence diagrams using extended finite state machines
Model-based test case generation from UML sequence diagrams using extended finite state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-based test case generation from UML sequence diagrams using extended finite state machines

Mauricio Rego Mota da Rocha Adenilso da Silva Simão; Thiago Sousa

Software Quality Journal New York v. 29, p. 597-627, 2021

New York 2021

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3024121 )(Acessar)

8
Verification of behaviourist multi-agent systems by means of formally guided simulations
Verification of behaviourist multi-agent systems by means of formally guided simulations
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Verification of behaviourist multi-agent systems by means of formally guided simulations

Silva, Paulo Salem Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-11-28

Acesso online

9
Event tree algorithms to generate test sequences for composite web services
Event tree algorithms to generate test sequences for composite web services
Material Type:
Artigo 		Adicionar ao Meu Espaço

Event tree algorithms to generate test sequences for composite web services

André Takeshi Endo Adenilso da Silva Simão

Software Testing, Verification and Reliability Oxford : Wiley v. 29, n. 3, p. 1-25, 2019

Oxford 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2938107 )(Acessar)

10
Evaluating the impact of different testers on model-based testing
Evaluating the impact of different testers on model-based testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Evaluating the impact of different testers on model-based testing

Henrique Neves da Silva Guilherme Ricken Mattiello; Andre Takeshi Endo; Érica Ferreira de Souza; Simone do Rocio Senger de Souza; Brazilian Symposium on Systematic and Automated Software Testing - SAST (3. 2018 São Carlos, SP); Brazilian Conference on Software: theory and practice - CBSoft (9. 2018 São Carlos, SP)

Proceedings New York : ACM, 2018

New York, NY ACM 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2914990 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (6)
  2. Artigos  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2011  (1)
  2. 2011Até2013  (1)
  3. 2014Até2015  (1)
  4. 2016Até2017  (2)
  5. Após 2017  (5)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Sousa, T
  3. Rocha, M
  4. Endo, A
  5. Fragal, V

Neste Assunto:

  1. Engenharia De Software
  2. Model-Based Testing
  3. Teste Baseado Em Modelos
  4. Teste E Avaliação De Software
  5. Softwares

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.