Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
ValiPar a testing tool for message-passing parallel programsSimone 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, 2005Illinois UND/Tung Hai University 2005Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1471376 ) e outros locais(Acessar) |
2 |
Material Type: Relatório Técnico
|
![]() |
Vali_sync um módulo para instrumentação e execução de testes temporais em programas paralelosMário Santos Camillo Adenilso da Silva Simão; Simone do Rocio Senger de SouzaSão Carlos ICMC-USP 2006Localização: ICMC - Inst. Ciên. Mat. Computação (RT SSC n.288 C183vs e.1 ) e outros locais(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
A family of coverage testing criteria for coloured petri netsAdenilso 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, 2003Manaus Editora da UFA 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1338895 ) e outros locais(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Mutation testing applied to estelle specificationsSimone 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, 2000Los Alamitos IEEE Computer Society 2000Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1179495 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Applying test set minimization to mutation-based test criteriaSimone S de Souza José Carlos Maldonado; ISSAT International Conference (4. 1998 Seattle)Proceedings Seattle : ISSAT, 1998Seattle ISSAT 1998Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-999978 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Avaliação do custo e eficácia do critério análise de mutantes na atividade de teste de programasSimone 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, 1997São Carlos ICMSC-USP 1997Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-977855 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Análise de mutantes e potenciais-usos uma avaliação empíricaSimone 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, 1997Curitiba 1997Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1022320 ) e outros locais(Acessar) |
8 |
Material Type: Relatório Técnico
|
![]() |
Introducao ao teste de software (versão 2004-01)José Carlos Maldonado Ellen Francine Barbosa; Auri Marcelo Vincenzi; Marcio Eduardo Delamaro; Simone do Rocio Senger Souza; Mário JinoSão Carlos ICMC-USP 2004Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1562797 ) e outros locais(Acessar) |
9 |
Material Type: Documento Didático
|
![]() |
Aspectos teóricos e empíricos de teste de cobertura de softwareJosé Carlos Maldonado Auri Marcelo Rizzo Vincenzi; Ellen Francine Barbosa; Simone do Rocio Senger de Souza; Márcio Eduardo DelamaroSão Carlos ICMSC-USP 1998Localização: ICMC - Inst. Ciên. Mat. Computação (ND SCE n.31 M244at ) e outros locais(Acessar) |
10 |
Material Type: Dissertação de Mestrado
|
![]() |
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhadaMelo, Silvana MoritaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-10-11Acesso online. A biblioteca também possui exemplares impressos. |