skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Adaptive localizer based on splitting trees
Adaptive localizer based on splitting trees
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Adaptive localizer based on splitting trees

Roland Groz Adenilso da Silva Simão; Catherine Oriat; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

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

Cham, SZ Springer 2017

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

2
Fault-based testing for refinement in CSP
Fault-based testing for refinement in CSP
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Fault-based testing for refinement in CSP

Ana Cavalcanti Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

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

Cham, SZ Springer 2017

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

3
Generating checking sequences for user defined fault models
Generating checking sequences for user defined fault models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating checking sequences for user defined fault models

Alexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

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

Cham, SZ Springer 2017

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

4
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)

5
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.