Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
![]() |
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.Souza, Simone Do Rocio Senger DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2000-12-14Acesso online. A biblioteca também possui exemplares impressos. |
2 |
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) |
3 |
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) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Resultados de um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OOMarllos 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, 2010Goiânia Universidade Federal de Goias 2010Acesso online. A biblioteca também possui exemplares impressos. |
5 |
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) |
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
|
![]() |
Validação de especificações de sistemas reativos definição e análise de critérios de testeSimone 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)2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1208465 ) e outros locais(Acessar) |
8 |
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) |
9 |
Material Type: Artigo de Congresso
|
![]() |
FCCE uma família de critérios de teste para validação de sistemas especificados em EstelleSimone 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, 2001Rio de Janeiro UFRJ 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1214523 ) e outros locais(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Reutilização de conjuntos de teste um estudo no domínio de algoritmos de ordenaçãoDiogo 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, 2009São Carlos UFSCar 2009Acesso online. A biblioteca também possui exemplares impressos. |