skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Maldonado, J remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado

Porto Alegre SBC 2010

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

2
Estudo de teste de mutação para a linguagem standard ML
Estudo de teste de mutação para a linguagem standard ML
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Estudo de teste de mutação para a linguagem standard ML

Thaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Conferencia Latinoamericana en Informática (2004 Arequipa)

CLEI 2004 Arequipa, 2004

Arequipa 2004

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

3
MuDeL a language and a system for descibing and generating mutants
MuDeL a language and a system for descibing and generating mutants
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

MuDeL a language and a system for descibing and generating mutants

Adenilso da Silva Simão José Carlos Maldonado; 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-1214530 ) e outros locais(Acessar)

4
Software product instrumentation description
Software product instrumentation description
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Software product instrumentation description

Adenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima Santana

São Carlos ICMC-USP 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE N.157 S588sp e.1 ) e outros locais(Acessar)

5
A family of coverage testing criteria for coloured petri nets
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
IDeL a language for program instrumentation
IDeL a language for program instrumentation
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

IDeL a language for program instrumentation

Adenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima Santana; Conferencia Latinoamericana de Informática - infoUYclei (28. 2002 Montevideo)

2002

2002

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

7
Testing software and systems
Testing software and systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing software and systems

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)

Proceedings

Berlin Springer 2010

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

8
Experimental evaluation of coverage criteria for FSM-based testing
Experimental evaluation of coverage criteria for FSM-based testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Experimental evaluation of coverage criteria for FSM-based testing

Adenilso da Silva Simão Alexandre Petrenko; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software 21 2007 João Pessoa

Anais [s.l.s.n.], 2007

s.l. s.n. 2007

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

9
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito

Marco Arthur Pereira Candolo Adenilso da Silva Simão; José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)

Anais Rio de Janeiro: COPPE/UFRJ, 2001

Rio de Janeiro COPPE/UFRJ 2001

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

10
Coloured petri nets safety analysis using mutation testing
Coloured petri nets safety analysis using mutation testing
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Coloured petri nets safety analysis using mutation testing

Adenilso da Silva Simão José Carlos Maldonado; Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas (2003 São Paulo)

Trabalhos Apresentados São Paulo: EPUSP, 2003

São Paulo EPUSP 2003

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (44)
  2. Livros  (3)
  3. Produções Acadêmicas  (2)
  4. Produções Técnicas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (11)
  2. 2002Até2003  (13)
  3. 2004Até2005  (6)
  4. 2006Até2008  (9)
  5. Após 2008  (10)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.