- Currículo Lattes
- Endereço profissional:
Universidade de São Paulo. Av. Trabalhador São-Carlense, 400 13560970 - Sao Carlos, SP - Brasil - Caixa-Postal: 668
Telefone: (16) 33738176
URL da Homepage: www.icmc.usp.br
| |
|
| 1. | SOUZA, S. R. S. ; VERGILIO, Silvia Regina ; SOUZA, Paulo Sergio Lopes de ; SIMãO, Adenilso da Silva ; HAUSEN, Alexandre Ceolin . Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008. |
| 2. | KIKUTI, D. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. . Using Portable Monitoring for Heterougeneous Clusters on Window and Linux Operating Systems. Journal of Computer Science and Technology (La Plata), v. 3, n. 2, p. 15-21, 2003. |
| 3. | ZAMBIANCO JUNIOR, Rivaldo Antonio ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . REACH-TREE: Uma Ferramenta para Geração de árvore de Alcançabilidade para Sistemas Especificados em Estelle. REIC. Revista Eletrônica de Iniciação Científica, v. II, n. III, 2002. |
| 4. | GIACOMETTI, Cassiano ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . Teste de Mutação para a Validação de Aplicações Concorrentes usando PVM. REIC. Revista Eletrônica de Iniciação Científica, v. II, n. III, 2002. |
| 5. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; FABBRI, Sandra C P F ; LOPES DE SOUZA, W. L. . Mutation Testing Applied to Estelle Specifications. Software Quality Journal, Kluwer Academic Publishers, v. 08, n. 4, p. 285-302, 2000. |
| 1. | SOUZA, S. R. S. ; VERGíLIO, Silvia Regina ; SOUZA, Paulo Sérgio Lopes de . Teste de Programas Concorrentes. In: Jose Carlos Maldonado; Mario Jino; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC, 2007, v. I, p. 231-248. |
| 2. | SOUZA, S. R. S. ; FABBRI, Sandra C P F ; BARBOSA, Ellen Francine ; CHAIM, Marcos ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; JINO, Mario ; MALDONADO, José Carlos . Estudos Teóricos e Experimentais. In: José Carlos Maldonado; Mario Jino; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Elsevier Editora LTDA - Campus - SBC, 2007, v. I, p. 251-268. |
| 3. | SOUZA, S. R. S. ; MALDONADO, Jose Carlos ; FABBRI, Sandra Cpf ; VINCENZI, Auri Marcelo Rizzo ; BARBOSA, Ellen Francine ; DELAMARO, Márcio Eduardo ; JINO, Mário . Introdução ao Teste de Software. In: Manaus-Belém. (Org.). Revista da II Escola de Informática Norte - SBC. : , 2000, v. , p. 70-108. |
| 4. | MALDONADO, Jose Carlos ; VINCENZI, Auri Marcelo Rizzo ; BARBOSA, Ellen Francine ; SOUZA, S. R. S. ; DELAMARO, Márcio Eduardo . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: Curitiba; Blumenau; Pelotas. (Org.). Revista da Escola de Informática da SBC - Regional Sul. : , 1998, v. I, p. 53-86. |
| 1. | CAMPANHA, D. N. ; SOUZA, S. R. S. ; Lemos, O.A.L. ; BARBOSA, Ellen Francine ; MALDONADO, J C . Reutilização de Conjuntos de Teste: Um Estudo no domínio de Algoritmos de Ordenação. In: ESELAW - Experimental Software Engineering Latin American Workshop, 2009, São Carlos. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. v. 1. p. 114-123. |
| 2. | Sarmanho, F.S. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. ; SIMãO, Adenilso da Silva . Structural Testing for Semaphore-Based Multithread Programs. In: 8th International Conference on Computational Science, 2008, Krakow. LNCS - Computational Science ICCS 2008. Heidelberg : Springer-Verlag, 2008. v. 5101. p. 337-346. |
| 3. | BARBOSA, Ellen Francine ; SOUZA, S. R. S. ; MALDONADO, Jose Carlos . An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. In: Software Engineering Education & Training, 2008, Charleston, South Carolina. 21 Conference on Software Engineering Education & Training, 2008. v. 1. p. 189-196. |
| 4. | SOUZA, Paulo Sergio Lopes de ; Sawabe, E. T. ; SIMãO, Adenilso da Silva ; VERGILIO, Silvia Regina ; SOUZA, S. R. S. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: Euro PVM/MPI 2008, 2008, Dublin. LNCS - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008. v. 5205. p. 257-264. |
| 5. | Endo, A.T. ; SIMãO, Adenilso da Silva ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. In: TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008, Windsor. TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008. v. 1. p. 3-12. |
| 6. | PRADO, M. P. ; CAMPANHA, D. N. ; SOUZA, S. R. S. ; MALDONADO, J C . Um Conjunto de Artefatos para Apoio À Definição de Estudos Experimentais em Teste de Software. In: Experimental Software Engineering Latin American Workshop, 2008, Salvador. ESELAW'2008 - 5th Experimental Software Engineering Latin American Workshop, 2008. v. 1. |
| 7. | HAUSEN, Alexandre Ceolin ; VERGíLIO, Silvia Regina ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de ; SIMãO, Adenilso da Silva . A Tool for Structural Testing of MPI Programs. In: LAtin-American Test Workshop - LATW, 2007, Cuzco. 8th IEEE LAtin-American Test Workshop, 2007. v. 1. |
| 8. | BARBOSA, Ellen Francine ; SOUZA, S. R. S. ; Domingues, A.L.S ; Chan, A. ; Nina, E. ; MALDONADO, José Carlos . Uma Experiência no Ensino de Inspeção e Teste de Software. In: Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas. VI Simpósio Brasileiro de Qualidade de Software, 2007. v. 1. p. 309-324. |
| 9. | Endo, A.T. ; SIMãO, Adenilso da Silva ; SOUZA, S. R. S. ; SOUZA, Paulo Sergio Lopes de . Aplicação de Teste Estrutural para Composição de Web Services. In: Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 2007. v. 1. p. 13-20. |
| 10. | VERGíLIO, Silvia Regina ; SOUZA, S. R. S. ; SOUZA, Paulo Sergio Lopes de . Coverage Testing Criteria for Message-Passing Parallel Programs. In: Latin-American Test Workshop - LATW, 2005, Salvador. LATW2005 - 6th IEEE Latin-AmericanTestWorkshop, 2005. v. 1. p. 161-166. |
| 11. | SOUZA, S. R. S. ; VERGíLIO, Silvia Regina ; SOUZA, Paulo Sergio Lopes de ; SIMãO, Adenilso da Silva ; BLISCOSQUE, Thiago Gonçalves ; LIMA, Alexandre de Melo ; HAUSEN, Alexandre Ceolin . ValiPar: A Testing Tool for Message-Passing Parallel Programs. In: International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005. v. I. p. 386-391. |
| 12. | SOUZA, Paulo Sérgio Lopes de ; BRITTO JR, A. S. ; SABOURIN, R. ; SOUZA, S. R. S. ; BORGES, D. L. . K-Means VQ Algorithm Using a Low-Cost Parallel Cluster Computing. In: THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS - PDCN2004, 2004, Alberta - Canadá. Proceedings of PDCN2004. Alberta - Canadá : IASTED, 2004. v. 1. p. 594-600. |
| 13. | SIMãO, Adenilso da Silva ; SOUZA, S. R. S. ; MALDONADO, José Carlos . A Family of Coverage Testing Criteria for Coulored Petri Nets. In: Simpósio Brasileiro de Engenharia de Software, 2003, Manaus, AM. 17º SBES, UFAM/BR, 6 a 10 de outubro, 2003, 2003. v. I. p. 209-224. |
| 14. | BRITTO JR, A. S. ; SOUZA, Paulo Sérgio Lopes de ; SABOURIN, R. ; SOUZA, S. R. S. ; BORGES, D. L. . A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. In: International Conference on Document Analysis and Recognition, 2003, Edinburgh. International Conference on Document Analysis and Recognition. Edinburgh : University of Essex, 2003. v. 1. p. 1-5. |
| 15. | KIKUTI, D. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. . XPVM-W95 - A Performance Monitoring Tool for PVM Clusters on Windows Operating Systems. In: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distributed Systems and Parallelism, 2002, Copiapó. Proceedings of XXII International Conference of the Chilean Computer Science Society, 2002. v. 1. |
| 16. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; FABBRI, S. C. P. F. . FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. In: SIMPóSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 2001, Rio de Janeiro. XV SBES -SIMPóSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 2001. p. 256-271. |
| 17. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; FABBRI, Sandra Cpf ; LOPES DE SOUZA, W. L. . Mutation Testing Applied to Estelle Specifications. In: 33rd Hawaii International Conference on System Sciences, 2000, Maui. Proceedings of the 33rd Hawaii International Conference on System Sciences, for the Mini-track on: Distributed Systems Testing, 2000. v. I. |
| 18. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; FABBRI, Sandra Cpf ; MASIERO, P. C. . Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI2000 - Conferência Latino Americana de Informática, 2000, Cidade de México. Anais da Conferência Latino Americana de Informática, 2000. |
| 19. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; WONG, E. W. . Application of Test Set Minimization to Mutation-Based Test Criteria. In: IV ISSAT - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the International Conference on Reliability and Quality in Design, 1998. v. I. p. 275-281. |
| 20. | WONG, E. W. ; MALDONADO, José Carlos ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. . Use of Proteum to Accelerate Mutation Testing in C Programs. In: III ISSAT - International Conference on Reliability and Quality in Design, 1997, Califórnia. Proceedings of the International Conference on Reliability and Quality in Design, 1997. v. I. p. 254-258. |
| 21. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; VERGíLIO, Silvia Regina . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. In: XIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais da Conferência Internacional de Tecnologia de Software, 1997. v. I. p. 225-236. |
| 22. | SOUZA, S. R. S. ; MALDONADO, José Carlos . Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes. In: XI SBES -Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do Simpósio Brasileiro de Engenharia de Software. v. I. p. 445-460. |
| 23. | SOUZA, Paulo Sergio Lopes de ; SANTANA, M. J. ; SANTANA, R. C. ; SOUZA, S. R. S. . Parallel Virtual Machine for Windows95. In: Third European PVM Conference - EuroPVM'96, 1996, Munique. Lecture Notes in Computer Science, 1996. v. 1156. p. 288-295. |
| 24. | MALDONADO, José Carlos ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. . Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade. In: Workshop de Qualidade de Software - SBES'95, 1995, Recife. Anais do Workshop de Qualidade de Sofware, 1995. v. I. p. 136-140. |
| 1. | Sarmanho, F.S. ; SOUZA, Paulo Sergio Lopes de ; SOUZA, S. R. S. ; SIMãO, Adenilso da Silva . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. In: Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD´2007) collocated with 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007, Gramado. Workshop on Languages and Tools for Parallel and Distributed Programming, 2007. v. 1. p. 18-21. |
| 2. | HAUSEN, Ac ; VERGíLIO, S ; SOUZA, S. R. S. ; SOUZA, Paulo Sergio Lopes de ; SIMãO, Adenilso da Silva . ValiMPI: Uma Ferramenta para o Teste de Programas Paralelos. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. XIII Sessão de Ferramentas do SBES, 2006. v. I. p. 7-12. |
| 3. | SOUZA, S. R. S. ; MALDONADO, José Carlos . Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste . In: XIV CTD - Concurso de Teses e Dissertações, 2001, Fortaleza. XIV CTD - Concurso de Teses e Dissertações - XXI Congresso da Sociedade Brasileira de Computação, 2001. v. I. |
| 1. | GONçALVES, Thiago Bliscosque ; LIMA, Alexandre de Melo ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . Caracterização dos Aspectos de Implementação dos Operadores de Mutação para PVM. IV Encontro de Pesquisa da UEPG, 2004 (Publicação em Evento de Iniciação Científica). |
| 2. | BRUNO FILHO, João Walter ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . Implementação de Recursos para Extração de Requisitos de Teste de Programas Paralelos em PVM. XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica). |
| 3. | LIMA, Alexandre de Melo ; GONçALVES, Thiago Bliscosque ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de ; VERGíLIO, Silvia Regina . Implementação de Recursos para extrair informações de troca de mensagens de aplicações paralelas em PVM. Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica). |
| 4. | GONçALVES, Thiago Bliscosque ; LIMA, Alexandre de Melo ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de ; VERGíLIO, Silvia Regina . Implementação de recursos para instrumentação de programas paralelos em PVM. Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica). |
| 5. | MALDONADO, José Carlos ; BARBOSA, Ellen Francine ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; JINO, Mário . Introdução ao Teste de Software - versão 2004-01. São Carlos: ICMC/USP, 2004 (notas didáticas). |
| 6. | BRUNO, João Walter ; SOUZA, S. R. S. . Definição de Critérios de Teste e de uma interface gráfica para a ferramenta ValiPVM. Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica). |
| 7. | PERIM FILHO, José Reinaldo ; SOUZA, S. R. S. . Definição e implementação de um modelo para representação de programas paralelos em PVM. Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica). |
| 8. | GIACOMETTI, Cassiano ; SOUZA, S. R. S. . Definição de um conjunto de operadores de mutação para PVM. Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica). |
| 9. | ZAMBIANCO JUNIOR, Rivaldo Antonio ; SOUZA, S. R. S. . Reach-Tree: uma ferramenta para geração de árvore de alcançabilidade para Estelle. Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica). |
| 10. | BARBOSA, Ellen Francine ; MALDONADO, José Carlos ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; JINO, Mario . Introdução ao Teste de Software. João Pessoa - PB: SBES- Simpósio Brasileiro de Engenharia de Software, 2000 (texto didático). |
| 11. | SOUZA, S. R. S. ; TULLIO, Rurik ; MALDONADO, José Carlos . Subsídios para Redução do Custo de Aplicação do Critério de Teste de Software Análise de Mutantes 1999 (Publicação em Evento de Iniciação Científica). |
| 12. | MALDONADO, José Carlos ; VINCENZI, Auri Marcelo Rizzo ; BARBOSA, Ellen Francine ; SOUZA, S. R. S. ; DELAMARO, Márcio Eduardo . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. São Carlos: Notas Didáticas do ICMC, 1998 (notas didáticas). |
| 13. | SOUZA, S. R. S. ; MALDONADO, José Carlos . Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. São Carlos: II Workshop de Teses e Dissertações Defendidas em Ciências da Computação e Matemática Computacional, 1997 (Publicação em Evento de Pós-Graduação). |
| 14. | SOUZA, S. R. S. ; MALDONADO, José Carlos ; VERGILIO, Silvia Regina . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica . águas de Lindóia: WPVTSO - WORKSHOP DO PROJETO VALIDAçãO E TESTE DE SISTEMAS DE OPERAçãO, 1997 (Trabalho/resumo em evento local). |
| 15. | VINCENZI, Auri Marcelo Rizzo ; BARBOSA, Ellen Francine ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; MALDONADO, José Carlos . Critério Análise de Mutantes: Estado Atual e Perspectivas. águas de Lindóa: WPVTSO - WORKSHOP DO PROJETO VALIDAçãO E TESTE DE SISTEMAS DE OPERAçãO, 1997 (Trabalho/resumo em evento local). |
| 16. | SOUZA, S. R. S. ; MALDONADO, José Carlos . Uma Estratégia de Minimização de Conjuntos de Casos de Teste para o Critério Análise de Mutantes . águas de Lindóia: WPVTSO - WORKSHOP DO PROJETO VALIDAçãO E TESTE DE SISTEMAS DE OPERAçãO, 1997 (Trabalho/resumo em evento local). |
| 17. | SOUZA, M. A. ; SOUZA, Paulo Sérgio Lopes de ; SOUZA, S. R. S. ; SANTANA, M. J. ; SANTANA, R. H. C. . Aplicações de RPC no Ambiente SUNOS. São Carlos: Notas Didáticas do ICMC, 1995 (notas didáticas). |
| 18. | SOUZA, S. R. S. ; MALDONADO, José Carlos . Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. São Carlos: I Workshop de Dissertações em Andamento do ICMC, 1995 (Publicação em Evento de Pós-Graduação). |
| 1. | SOUZA, S. R. S. . Avaliação de Trabalhos do SBES-2006 - Simpósio Brasileiro de Engenharia de Software. 2006. |
| 1. | SOUZA, S. R. S. . Avaliação de Trabalhos da REIC - Revista Eletrônica de Iniciação Científica. 2006. |
| 2. | SOUZA, S. R. S. . Membro do Comitê de Programa da Sessão de Ferramentas do SBES-2006 - Simpósio Brasileiro de Engenharia de Software. 2006. |
| 3. | SOUZA, S. R. S. . Avaliação de Trabalhos do SBQS-2006 - Simpósio Brasileiro de Qualidade de Software. 2006. |
| 4. | SOUZA, S. R. S. . Avaliação de Trabalhos do WEI-2006 - Workshop sobre Educação na Informática do CSBC - Congresso Nacional da Sociedade Brasileira de Computação. 2006.. 2006. |
| 5. | SOUZA, S. R. S. . Avaliação de Trabalhos do SBSI-2005 - Simpósio Brasileiro de Sistemas de Informação. 2005. |
| 6. | SOUZA, S. R. S. . Coordenadora do Projeto CNPq - ValiPVM - Definição e Implementação de uma Ferramenta para Validação de Softwares Paralelos em Ambiente de Passagem de Mensagens. 2002. |
| 7. | SOUZA, S. R. S. . Coordenadora do Projeto CNPq - Definição de Técnicas e Ferramentas para a Validação de Especificações. 2001. |
| 8. | SOUZA, S. R. S. . Coordenadora do Projeto CNPq - Aplicabilidade do Teste de Mutação para a Validação de Aplicações Concorrentes usando o PVM. 2001. |
| 9. | SOUZA, S. R. S. . Coordenadora do Curso de Extensão - Introdução À Linguagem C. 2001. |
| 10. | SOUZA, S. R. S. . Delegado local da Olimpíada Brasileira de Informática. 2001. |
| 11. | SOUZA, S. R. S. . Coordenadora de Sessão Técnica do X Encontro Anual de Iniciação Científica . 2001. |
| 12. | SOUZA, S. R. S. . II Encontro de Pesquisa da UEPG. 2002. (coordenador sessão técnica). |
| 1. | Andre Takeshi Endo. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web. Início: 2009. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza. |
| 1. | Maria Adelina Silva Brito. Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes. Início: 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza. |
| 2. | Jorge Francisco Cutigi. Investigacao de Melhorias em Metodos de Geracao de Casos de Teste a partir de Modelos. Início: 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza. |
| 1. |  Marllos Paiva Prado. Um Estudo de Caracterização e Avaliação de Critérios de Teste Estruturais entre os paradigmas procedimental e OO. 2007. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 2. | Alexandre Ceolin Hausen. ValiMPI: Uma Ferramenta de Teste Estrutural para Programas Paralelos em Ambientes de Passagem de Mensagem. 2005. 82 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Co-Orientador: Simone do Rocio Senger de Souza. |
| 1. | Mário Santos Camillo. Avaliação Experimental do Teste Temporal na Atividade de Teste de Programas Paralelos. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 2. | Alexandre Jun Kimura. Definição de Metodologias de Gerência de Projetos apoiadas no PMBOK. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 3. | Glaucio Miura. Estudo do Modelo ITIL e Aplicação de uma das Gerências em um Processo de Negócio Real. 2007. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 4. | Eduardo Augusto Baucia. Estudo e Aplicação de ERP em Pequena Empresa. 2007. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 5. | Glaucio Miura. Definição de uma ferramenta de apoio À Implantação do Modelo ITIL. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 6. | Alex Dias dos Santos. Empreendendo em informática. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 7. | Rodrigo Mithuhiro Oshiro. Monitoramento de Projetos e Perfil de Usuários. 2005. 38 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 8. | Gislaine Teixeira Ichi. SAPPE: Software de Apoio ao Programa Pró-Egresso de Ponta Grossa. 2004. 47 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza. |
| 1. | Laércio da Cruz Asano Júnior. Estudo Experimental dos Critérios de Teste Estruturais para Programas Paralelos em PVM. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 2. | Matheus Lin Truglio Alvarenga. Apoio ao Desenvolvimento de uma Ferramenta de Ensino para Teste de Software. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 3. | Laércio da Cruz Asano Júnior. Definição e Implementação de Mecanismos para Redução do Custo de Aplicação do Teste Estrutural em Programas Paralelos. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 4. | Matheus Lin Truglio Alvarenga. Execução Determinística de Programas Paralelos. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 5. | Bianca Pitarello. Implementação do Módulo de Avaliação de Seqüências de Teste da Ferramenta SCCTool - Specification Coverage Criteria Testing Tool. 2006. 13 f. Iniciação Científica. (Graduando em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza. |
| 6. | João Walter Bruno. Definição de Critérios de Teste e de uma Interface Gráfica para a Ferramenta de Teste ValiPVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 7. | Alexandre de Melo Lima. Implementação de Recursos para Extrair Informações sobre Comandos de Comunicação em Aplicações Paralelas em PVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 8. | Thiago Bliscosque Gonçalves. Implementação de Recursos para Extrair Informações sobre Troca de Mensagens em Aplicações Paralelas em PVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 9. | Luciana Vilas Boas Wiecheteck. ESPECIFICAçãO EM UML DE UMA FERRAMENTA PARA VALIDAçãO DE APLICAçõES PARALELAS EM PVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza. |
| 10. | João Walter Bruno. Definição de uma Interface para o protótipo da ferramenta ValiPVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza. |
| 11. | José Reinaldo Perim. Definição e Implementação de um Modelo para Representação de Programas Paralelos em PVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 12. | Luiz Duda. Definição e Implementação de uma Representação Intermediária para Programas Paralelos em MPI. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 13. | Cassiano Giacometti. Aplicabilidade do Teste de Mutação para Aplicações Paralelas em PVM. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |
| 14. | Rivaldo Antonio Zambianco Junior. Tree-Reach:árvore de Alcançabilidade para Sistemas Especificados em Estelle. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza. |