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: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
mudelgen a tool for processing mutant operator descriptions
mudelgen a tool for processing mutant operator descriptions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

mudelgen a tool for processing mutant operator descriptions

Adenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)

Anais Porto Alegre: Instituto de Informática da UFRGS, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

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

2
Proteum a family of tools to support specification and program testing based on mutation
Proteum a family of tools to support specification and program testing based on mutation
Material Type:
Livro 		Adicionar ao Meu Espaço

Proteum a family of tools to support specification and program testing based on mutation

José Carlos Maldonado Márcio Eduardo Delamaro; Sandra Camargo Pinto Ferraz Fabbri; Adenilso da Silva Simão; Tatiana Sugeta; Auri Marcelo Rizzo Vincenzi; Paulo Cesar Masiero

Mutation testing for the new century Norwell, MA: Kluwer Academic Publishers, 2001

Norwell, MA Kluwer Academic Publishers 2001

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

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

4
Vali_sync um módulo para instrumentação e execução de testes temporais em programas paralelos
Vali_sync um módulo para instrumentação e execução de testes temporais em programas paralelos
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Vali_sync um módulo para instrumentação e execução de testes temporais em programas paralelos

Mário Santos Camillo Adenilso da Silva Simão; Simone do Rocio Senger de Souza

São Carlos ICMC-USP 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SSC n.288 C183vs e.1 ) e outros locais(Acessar)

5
ValiPar a testing tool for message-passing parallel programs
ValiPar a testing tool for message-passing parallel programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

ValiPar a testing tool for message-passing parallel programs

Simone do Rocio Senger de Souza Sílvia Regina Vergílio; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Thiago Blicosque Gonçalves; Alexandre de Melo Lima; Alexandre Ceolin Hausen; International Conference on Software Engineering & Knowledge Engineering (17. 2005 Taipei)

Proceedings Illinois: UND/Tung Hai University, 2005

Illinois UND/Tung Hai University 2005

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

6
EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos
EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos

André Luís dos Santos Domingues Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)

Anais Porto Alegre: Instituto de Informática da UFRGS, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

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

7
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais

Jorge Francisco Cutigi Adenilso da Silva Simão

São Carlos ICMC-USP 2006

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

8
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml

Thaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus); Sessão de Ferramentas (10. 2003 Manaus)

Anais Manaus: Editora da UFA,2003

Manaus Editora da UFA 2003

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

9
Sim/CPN a web-based simulator for coloured petri nets
Sim/CPN a web-based simulator for coloured petri nets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sim/CPN a web-based simulator for coloured petri nets

Adenilso da Silva Simão José Carlos Maldonado; Sessão de Ferramentas (12. 2005 Uberlândia); Simpósio Brasileiro de Engenharia de Software (19. 2005 Uberlândia)

Anais 2005

2005

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

10
JaBÁ a java bytecode analyzer
JaBÁ a java bytecode analyzer
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

JaBÁ a java bytecode analyzer

Auri Marcelo Rizzo Vincenzi Márcio Eduardo Delamaro; Adenilso da Silva Simão; W E Wong; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)

Anais Porto Alegre: Instituto de Informática da UFRGS, 2002

Porto Alegre Instituto de Informática da UFRGS 2002

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (22)
  2. Disponível na Biblioteca (142)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (110)
  2. Produções Acadêmicas  (21)
  3. Livros  (9)
  4. Produções Técnicas  (7)
  5. Outros  (1)
  6. Patentes  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (14)
  2. 2004Até2007  (25)
  3. 2008Até2011  (41)
  4. 2012Até2016  (42)
  5. Após 2016  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (108)
  2. Português  (39)
  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.