skip to main content
Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Science of computer programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Revista
Adicionar ao Meu Espaço

Science of Computer Programming

NETHERLANDS Elsevier

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

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Integration testing of object-oriented and aspect-oriented programs a structural pairwise approach for java

Otávio Augusto Lazzarini Lemos Ivan Gustavo Franchin; Paulo Cesar Masiero

Science of Computer Programming v.74, n. 10, p. 861-878, 2009

2009

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

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Coverage testing of java programs and components

Auri Marcelo Rizzo Vincenzi José Carlos Maldonado; W Eric Wong; Márcio Eduardo Delamaro

Science of Computer Programming v. 56, p 211-230, 2005

2005

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

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Formalization of an architectural model for exception handling coordination based on CA action concepts

David Paulo Pereira Ana Cristina Vieira de Melo

Science of Computer Programming Amsterdam v. 75, n. 5, p. 333-349, 2010

Amsterdam 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1852858 )(Acessar)

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

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards the practical mutation testing of AspectJ programs

Fabiano Cutigi Ferrari Awais Rashid; José Carlos Maldonado

Science of Computer Programming Amsterdam : Elsevier v. 78, n. 9, p. 1639\20131662, set 2013

Amsterdam 2013

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

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

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

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

10
Material Type:
Artigo
Adicionar ao Meu Espaço

A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs

Endhe Elias (Endhe Elias Soares) Jário Santos; Ig Ibert Bittencourt (Ig Ibert Bittencourt Santana Pinto); Seiji Isotani; O Holanda (Olavo de Holanda Cavalcanti Neto)

Science of Computer Programming Amsterdam : Elsevier B. V. v. 136, p. 43-59, Mar. 2014

Amsterdam 2017

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Buscando em bases de dados remotas. Favor aguardar.