skip to main content
Idioma:
Refinado por: Nome da Publicação: Science of Computer Programming remover assunto: Sistemas De Informação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A practical approach for testing timed deterministic finite state machines with single clock
A practical approach for testing timed deterministic finite state machines with single clock
Material Type:
Artigo 		Adicionar ao Meu Espaço

A practical approach for testing timed deterministic finite state machines with single clock

Khaled El-Fakih Nina Yevtushenko; Adenilso da Silva Simão

Science of Computer Programming Amsterdam : Elsevier B. V. v. 80, parte B, p. 343-355, fev 2014

Amsterdam 2014

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

2
An experimental comparison of edge, edge-pair, and prime path criteria
An experimental comparison of edge, edge-pair, and prime path criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

An experimental comparison of edge, edge-pair, and prime path criteria

Vinícius H. S Durelli (Vinícius Humberto Serapilha Durelli) Márcio Eduardo Delamaro; Jeff Offutt

Science of Computer Programming Amsterdam : Elsevier B. V. v. 152, p. 99-115, Jan. 2018

Amsterdam 2018

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

3
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio]

Adenilso da Silva Simão Carroll Morgan

Science of Computer Programming Amsterdam : Elsevier, 2014 v. 92, part B, p. 85, out 2014

Amsterdam Elsevier 2014

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

4
Mitigating the effects of equivalent mutants with mutant classification strategies
Mitigating the effects of equivalent mutants with mutant classification strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mitigating the effects of equivalent mutants with mutant classification strategies

Mike Papadakis Márcio Eduardo Delamaro; Yves Le Traon

Science of Computer Programming Amsterdam : Elsevier B. V. v. 95, pt. 3, p. 298-319, dez 2014

Amsterdam 2014

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (3)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Delamaro, M
  2. Simão, A
  3. Offutt, J
  4. Morgan, C
  5. Papadakis, M

Neste Assunto:

  1. Engenharia De Software

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

Buscando em bases de dados remotas. Favor aguardar.