skip to main content
Idioma:
Refinado por: autor: Maldonado, J remover Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mutation analysis testing for finite state machines
Mutation analysis testing for finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Mutation analysis testing for finite state machines

S C P F Fabbri José Carlos Maldonado; Márcio Eduardo Delamaro; Paulo Cesar Masiero; International Symposium on Software Reliability Engineering (5. 1994 Monterey)

Proceedings Monterey : Ieee, 1994

Monterey Ieee 1994

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

2
Proteum /FSM a tool to support finite state machine validation based on mutation testing
Proteum /FSM a tool to support finite state machine validation based on mutation testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proteum /FSM a tool to support finite state machine validation based on mutation testing

Sandra Camargo Pinto Ferraz Fabbri Márcio Eduardo Delamaro; Maldonado, José Carlos; Masiero, Paulo Cesar; International Conference of the Chilean Computer Science Society (19. 1999 Talca)

Proceedings Los Alamitos : IEEE Computer Society, 1999

Los Alamitos IEEE Computer Society 1999

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

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

4
On studying the effectiveness of extended finite state machine based test selection criteria
On studying the effectiveness of extended finite state machine based test selection criteria
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On studying the effectiveness of extended finite state machine based test selection criteria

Khaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado; IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW 2014 (7. 2014 Cleveland, Ohio)

Proceedings Los Alamitos, California : IEEE Computer Society, 2014

Los Alamitos, California IEEE 2014

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Maldonado, J
  2. Delamaro, M
  3. Simão, A
  4. Masiero, P
  5. Fabbri, S

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas De Informação

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

Buscando em bases de dados remotas. Favor aguardar.