skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Maldonado, J remover autor: Souza, S remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.

Souza, Simone Do Rocio Senger De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2000-12-14

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

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Applying test set minimization to mutation-based test criteria

Simone S de Souza José Carlos Maldonado; ISSAT International Conference (4. 1998 Seattle)

Proceedings Seattle : ISSAT, 1998

Seattle ISSAT 1998

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

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Mutation testing applied to estelle specifications

Simone do Rocio Senger de Souza José Carlos Maldonado; Fabbri, Sandra Camargo Pinto Ferraz; Souza, Wanderlei Lopes de; Annual Hawaii International Conference on System Sciences (33. 2000 Maui)

Abstracts Los Alamitos: IEEE Computer Society, 2000

Los Alamitos IEEE Computer Society 2000

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

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Resultados de um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OO

Marllos Paiva Prado Simone do Rocio Senger Souza; José Carlos Maldonado; Experimental Software Engineering Latin American Workshop - ESELAW (7. 2010 Goiânia)

Proceedings Goiânia : Universidade Federal de Goiânia, 2010

Goiânia Universidade Federal de Goias 2010

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

5
A family of coverage testing criteria for coloured petri nets
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A family of coverage testing criteria for coloured petri nets

Adenilso da Silva Simão Simone do Rocio Senger de Souza; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus)

Anais Manaus: Editora da UFA, 2003

Manaus Editora da UFA 2003

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

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Avaliação do custo e eficácia do critério análise de mutantes na atividade de teste de programas

Simone do Rocio Senger de Souza José Carlos Maldonado; Workshop de Teses e Dissertações Defendidas do SCE-USP (2. 1997 São Carlos)

Anais São Carlos : ICMSC-USP, 1997

São Carlos ICMSC-USP 1997

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

7
Validação de especificações de sistemas reativos definição e análise de critérios de teste
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Validação de especificações de sistemas reativos definição e análise de critérios de teste

Simone do Rocio Senger de Souza José Carlos Maldonado; Congresso da Sociedade Brasileira de Computação (21. 2001 Fortaleza); Concurso de Teses e Dissertações (14. 2001 Fortaleza)

2001

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

8
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Análise de mutantes e potenciais-usos uma avaliação empírica

Simone do Rocio Senger de Souza José Carlos Maldonado; Vergílio, Sílvia Regina; Conferência Internacional de Tecnologia de Software (8. 1997 Curitiba)

Anais Curitiba, 1997

Curitiba 1997

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

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

FCCE uma família de critérios de teste para validação de sistemas especificados em Estelle

Simone do Rocio Senger de Souza José Carlos Maldonado; Sandra Camargo Pinto Ferraz Fabbri; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)

Anais Rio de Janeiro: UFRJ, 2001

Rio de Janeiro UFRJ 2001

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

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Reutilização de conjuntos de teste um estudo no domínio de algoritmos de ordenação

Diogo Nascimento Campanha Simone do Rocio Senger de Souza; Otávio Augusto Lazzarini Lemos; Ellen Francine Barbosa; José Carlos Maldonado; Experimental Software Engineering Latin American Workshop - ESELAW (6. 2009 São Carlos, SP)

Proceedings São Carlos : UFSCar, 2009

São Carlos UFSCar 2009

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (32)
  2. Produções Acadêmicas  (4)
  3. Produções Técnicas  (2)
  4. Materiais Didáticos  (1)
  5. Livros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1998  (12)
  2. 1998Até2000  (9)
  3. 2001Até2006  (4)
  4. 2007Até2010  (7)
  5. Após 2010  (5)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.