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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Evaluating finite state machine based testing methods on RBAC systems
Evaluating finite state machine based testing methods on RBAC systems
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Evaluating finite state machine based testing methods on RBAC systems

Damasceno, Carlos Diego Nascimento

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-05-09

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

2
Hierarchical featured state machines
Hierarchical featured state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hierarchical featured state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi

Science of Computer Programming Amsterdam : Elsevier B. V. v. 171, p. 67-88, Feb. 2019

Amsterdam 2019

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

3
Inferring finite state machines without reset using state identification sequences
Inferring finite state machines without reset using state identification sequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inferring finite state machines without reset using state identification sequences

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 161-177, 2015

Cham Springer 2015

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

4
Learning finite state machine models of evolving systems: From evolution over time to variability in space
Learning finite state machine models of evolving systems: From evolution over time to variability in space
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Learning finite state machine models of evolving systems: From evolution over time to variability in space

Damasceno, Carlos Diego Nascimento

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-07-03

Acesso online

5
Checking experiments for finite state machines with symbolic inputs
Checking experiments for finite state machines with symbolic inputs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking experiments for finite state machines with symbolic inputs

Alexandre Petrenko Adenilso da Silva Simão; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 3-18, 2015

Cham Springer 2015

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

6
Generating checking sequences for partial finite state machines
Generating checking sequences for partial finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)

Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008

Berlin Springer 2008

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

7
Model-based testing of service-oriented applications via state models
Model-based testing of service-oriented applications via state models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-based testing of service-oriented applications via state models

André Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)

Proceedings Los Alamitos, CA : IEEE Computer Society, 2011

Los Alamitos, CA IEEE Computer Society 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2201156 ) e outros locais(Acessar)

8
An assessment of extended finite state machine test selection criteria
An assessment of extended finite state machine test selection criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado

The Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017

Amsterdam 2017

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

9
Conformance testing by model checking timed extended finite state machines
Conformance testing by model checking timed extended finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Conformance testing by model checking timed extended finite state machines

Adilson L Bonifacio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado; Brazilian Symposium on formal Methods (2006 Natal)

Proceedings Natal, 2006

Natal 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1558224 ) e outros locais(Acessar)

10
Validated test models for software product lines featured finite state machines
Validated test models for software product lines featured finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Validated test models for software product lines featured finite state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; International Conference Formal Aspects of Component Software - FACS (13. 2016 Besançon, France)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 210-227, 2017

Cham, SZ Springer 2017

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)
  2. Disponível na Biblioteca (38)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2008  (3)
  2. 2008Até2010  (11)
  3. 2011Até2013  (8)
  4. 2014Até2017  (12)
  5. Após 2017  (10)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (32)
  2. Português  (13)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Petrenko, A
  3. Maldonado, J
  4. Endo, A
  5. Fragal, V

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.