Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo

Silvia Regina Vergilio
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

possui graduação em Bacharelado em Ciencias da Computacao pela Universidade de São Paulo (1988), mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas (1992) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1997). Atualmente é professora Associada II da Universidade Federal do Paraná. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, aplicacoes web, utilização de técnicas de Inteligência Artificial em Engenharia de Software.
(Texto informado pelo autor)

Última atualização do currículo em 08/02/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/0401470121643212
Dados pessoais
NomeSilvia Regina Vergilio
Nome em citações bibliográficasVERGILIO, S. R.;Vergilio, S. R.;Vergilio, Silvia Regina
SexoFeminino
Endereço profissionalUniversidade Federal do Paraná, Setor de Ciências Exatas, Departamento de Informática.
Centro Politécnico
Jardim das Américas
81531-970 - Curitiba, PR - Brasil - Caixa-Postal: 19081
Telefone: (041) 33613681 Fax: (041) 33613205
URL da Homepage: www.inf.ufpr.br

Formação acadêmica/Titulação
1992 - 1997Doutorado em Engenharia Elétrica .
Universidade Estadual de Campinas, UNICAMP, Brasil.
com período sanduíche em Purdue University(Orientador:Aditya Mathur ).
Título: Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste mais Eficazes, Ano de Obtenção: 1997.
Orientador: José Carlos Maldonado.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Criterios Estruturais de Teste; Geracao de Dados de Teste; Teste Baseado Em Restricoes.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática; Qualidade e Produtividade.
1989 - 1992Mestrado em Engenharia Elétrica .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Caminhos não Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas, Ano de Obtenção: 1992.
Orientador: Mario Jino.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Caminhos Nao Executaveis; Criterios de Teste Estrutural; Teste de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Informática.
2006 - 2010Graduação em Bacharelado em Psicologia .
Universidade Federal do Paraná, UFPR, Brasil.
1985 - 1988Graduação em Bacharelado em Ciencias da Computacao .
Universidade de São Paulo, USP, Brasil.

Atuação profissional
Universidade Federal do Paraná, UFPR, Brasil.
Vínculo institucional
1993 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
03/2003 - AtualConselhos, Comissões e Consultoria, Setor de Ciências Exatas, .
Cargo ou função
Membro do Comitê Setorial de Pesquisa.
03/2003 - AtualAtividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
ValiPVM
03/2002 - AtualAtividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
Chamaleon
10/2000 - AtualEnsino, Informática, Nível: Especialização.
Disciplinas ministradas
Teste de Software
05/1998 - AtualEnsino, Informática, Nível: Pós-Graduação.
Disciplinas ministradas
CI 725 - Engenharia de Software
CI 725 -Tópicos em Engenharia de Software
CI 805- Oficina de Engenharia de Software
03/1993 - AtualPesquisa e desenvolvimento , Departamento de Informática, .
Linhas de pesquisa
Inteligência Computacional - Computação Evolutiva
Tecnologia da Informação - Engenharia de Software
03/1993 - AtualEnsino, Nível: Graduação.
Disciplinas ministradas
CI056 - Algoritmos e Estrutura de Dados II
CI067 - Oficina de Computação
CI090 -Tópicos em Engenharia de Software
CI202 - Cálculo Numérico
CI208 - Progração de Computadores
CI218 - Sistemas de Banco de Dados
CI221- Engenharia de Software
CI228 - Laboratório de Informática 1
03/1993 - AtualTreinamentos ministrados , Setor de Ciências Exatas, Departamento de Informática.
Treinamentos ministrados
Orientador Monitoria André Luis Balvedi - 2002
Orientador de Monitoria - Daniel Cordeiro - 1999
Orientador de Monitoria - Adriana R. de Souza - 1993
Orientador de Monitoria - Ricardo Acras - 2000
12/1997 - 12/2002Direção e administração, Setor de Ciências Exatas, Departamento de Informática.
Cargo ou função
Membro de Colegiado de Curso de Graduação - Bel. em Informática.
03/2000 - 03/2002Atividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
Tecnologia em Banco de Dados
12/1999 - 12/2001Direção e administração, Setor de Ciências Exatas, Departamento de Informática.
Cargo ou função
Vice-Coordenador de Curso de Bacharelado em Informática.
09/1997 - 12/2001Direção e administração, Setor de Ciências Exatas, Departamento de Informática.
Cargo ou função
Membro de Colegiado de Curso de Pós Graduação - Mestrado em Informática.
03/1999 - 12/1999Treinamentos ministrados , Setor de Ciências Exatas, Coordenação do Curso de Bel. em Informática.
Treinamentos ministrados
Orientador de Bolsa Trabalho - Fedor Pisnitchenko
12/1997 - 12/1999Direção e administração, Setor de Ciências Exatas, Departamento de Informática.
Cargo ou função
Coordenador de Curso de Bacharelado em Informática.
12/1997 - 12/1999Direção e administração, Setor de Ciências Exatas, Departamento de Informática.
Cargo ou função
Membro de Conselho de Unidade.
10/1999 - 10/1999Extensão universitária , Setor de Ciências Exatas, Departamento de Informática.
Atividade de extensão realizada
Um Passeio Pelo Setor de Ciências Exatas.
01/1998 - 01/1999Atividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
Sagu: Sistema de Apoio ao Gerenciamento Universitário.
10/1997 - 09/1998Atividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
Estudo de Estratégias de Geração de Dados de Teste
03/1995 - 03/1997Atividades de Participação em Projeto, Departamento de Informática, .
Projetos de pesquisa
TAQS - Tecnologia para Avaliação da Qualidade de Software
Fundação Centro Tecnológico para Informática, CTI, Brasil.
Vínculo institucional
1998 - 1998 Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20
Atividades
03/1988 - 12/1988Estágios , Instituto de Computacao, .
Estágio realizado
Implementação de uma Ferramenta para Estimativa de Custos de Software.

Linhas de Pesquisa
1. Inteligência Computacional - Computação Evolutiva
2. Tecnologia da Informação - Engenharia de Software

Projetos de Pesquisa
2003 - AtualValiPVM
Descrição: Objetivo: A proposição de critérios de teste, desenvolvimento de ferramentas e condução de experimentos para aplicações paralelas, desenvolvidas em ambientes de passagem de mensagens (PVM e MPI). .
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: S. R. S. Souza - Coordenador / Alexandre Ceolin Hausen - Integrante / Thiago Biscosque Goncalves - Integrante / Silvia Regina Vergilio - Integrante.
Financiador(es): Universidade Estadual de Ponta Grossa - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade de São Paulo - Cooperação..
2002 - AtualChamaleon
Descrição: Computação Evolucionária: Pesquisa Básica e Aplicações Realizar pesquisa em técnicas e ferramentas de Computação Evolucionária, tais como Algorimtos Genéticos, Programação Genética e Programação Genética e verificar a aplicação dessas técnicas dentro da Engenharia de Software, em teste, planejamento do projeto, confiabilidade, etc..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Aurora R. T. Pozo - Integrante / Ernesto Rodrigues - Integrante / Celso Ishida - Integrante / Maria Claudia Emer - Integrante / Evandro N. Rigolin - Integrante / Gustavo Ferreira de Souza - Integrante / Eduardo Oliveira Costa - Integrante / Silvia Regina Vergilio - Coordenador.
Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
1999 - 2002Tecnologia em Banco de Dados
Descrição: Realizar pesquisa com diferentes tecnologias de banco de dados, principalmente relacionadas a Web, XML, mineração de Dados, etc..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Aurora R. T. Pozo - Integrante / Martin Musicante - Integrante / Sandra de Amo - Coordenador / Silvia Regina Vergilio - Integrante.
Financiador(es): Universidade Federal de Uberlândia - Cooperação / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Universite de Tours (Universite Francois Rabelais) - Cooperação..
1998 - 1999Sagu: Sistema de Apoio ao Gerenciamento Universitário.
Descrição: Objetivo: A construção de um sistema de apoio à decisão para a UFPR Sistema de Apoio à Decisão - Datawarehouse, Data Mining e OLAP.
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Aurora R. T. Pozo - Coordenador / Denio Duarte - Integrante / Martin Musicante - Integrante / Vinicius Feltrin - Integrante / Razer R. Montano - Integrante / Silvia Regina Vergilio - Integrante.
Financiador(es): Unisys - Auxílio financeiro.
Número de produções C, T & A: 11 / Número de orientações: 3.
1997 - 1998Estudo de Estratégias de Geração de Dados de Teste
Descrição: Realizar diversos experimentos com os critérios de teste existentes e propor estratégias de geração de dados de teste e aplicação desses mesmos critérios..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: M. Jino - Integrante / Leticia M. Peres - Integrante / Silvia Regina Vergilio - Coordenador.
Financiador(es): Fundação Universidade do Paraná - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1.
1995 - 1995TAQS - Tecnologia para Avaliação da Qualidade de Software
Descrição: Proposição de métodos para avaliar a qualidade de produtos de software Desenvolvimento de ferramentas Avaliação de diversos produtos e dos métodos propostos .
Situação: Concluído; Natureza: Pesquisa.
Integrantes: M. Jino - Coordenador / Silvia Regina Vergilio - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Fundação Centro Tecnológico para Informática - Cooperação.
Número de produções C, T & A: 21 / Número de orientações: 2.

Membro de corpo editorial
2008 - Atual Periódico: SBC Horizontes

Revisor de periódico
2008 - 2008 Periódico: Journal of the Brazilian Computer Society
2004 - Atual Periódico: International Journal of Software Engineering and Knowledge Engineering
2004 - Atual Periódico: REIC. Revista Eletrônica de Iniciação Científica
2006 - Atual Periódico: Journal of Systems and Software
2007 - 2007 Periódico: Journal of Universal Computer Science
2008 - 2008 Periódico: Information Sciences
2004 - 2005 Periódico: IEEE Transactions on Systems, Man and Cybernetics. Part C, Applications and

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Idiomas
Espanhol Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Prêmios e títulos
2003Primeiro Lugar - Iniciação Científica Orientada, EVINCI - UFPR.
2002Primeiro Lugar - Iniciação Científica Orientada, EVINCI-UFPR.
1976Concurso Contribuinte do Futuro, Ministério da Fazenda.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. EMER, M. C. ; Nazar, I.F. ; VERGILIO, S. R. ; JINO, M. . Fault Based Test of XML Schemas. Computing and Informatics, v. 30, p. 531-557, 2011.
2. Vergilio, S. R. ; Holanda, A. . Reuniões Mediúnicas Espíritas: Explorando Significados e Efeitos para seus Participantes. Gerais: Revista Interinstitucional de Psicologia, v. 4, p. 264-275, 2011.
3. de Carvalho, André B. ; Pozo, Aurora ; Vergilio, Silvia Regina . A symbolic fault-prediction model based on multiobjective particle swarm optimization. The Journal of Systems and Software, v. 83, p. 868-882, 2010.
4. COSTA, E. O. ; POZO, A. R. T. ; VERGILIO, S. R. . A Genetic Programming Approach for Software Reliability Modeling. IEEE Transactions on Reliability, v. 59, p. 222-230, 2010.
5. Vergilio, S. R. ; Holanda, A. . Analogias e diferenças entre reuniões mediúnicas espíritas e o atendimento em psicologia clínica. Revista da Abordagem Gestáltica (Impresso), v. 16, p. 173-182, 2010.
6. SOUZA, S. R. S. ; Vergilio, S. R. ; Souza, P. S. L. ; Simão, A. S. ; HAUSEN, A. C. . Structural testing criteria for message-passing parallel programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008.
7.   VERGILIO, S. R. ; COSTA, E. O. ; SOUZA, G. F. ; POZO, A. R. T. . Exploring Genetic Programming and Boosting Techniques to Model Software Reliability. IEEE Transactions on Reliability, v. 56, p. 422-434, 2007.
8.   VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. ; SOARES, I. W. . Constraint Based Structural Testing Criteria. Journal of Systems and Software, v. 79, n. 6, p. 756-771, 2006.
9. VERGILIO, S. R. ; POZO, A. R. T. . A Grammar-Guided Genetic Programming Framework for Software Engineering. International Journal of Software Engineering and Knowledge Engineering, v. 16, n. 2, p. 245-267, 2006.
10. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flow based testing. Journal of the Brazilian Computer Society, v. 1, p. 05, 2006.
11. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Experimental Results from Application of Fault-Sensitive Testing Strategies Fault-Sensitive Testing Strategies. Revista de Informática Teórica e Aplicada, Rio Grande do Sul, v. 12, n. 1, p. 61-82, 2005.
12. SOARES, I. W. ; VERGILIO, S. R. . Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Testing Software. Journal of Electronic Testing, Kluwer Academic Publishers USA, v. 20, n. 4, p. 439-445, 2004.
13.   EMER, M. C. ; VERGILIO, S. R. . Selection and Evalution of Test Data Based on Genetic Programming. Software Quality Journal, v. 11, n. 2, p. 167-186, 2003.
14. Minku, F.L. ; Pozo, Aurora ; Vergilio, S. R. . Chameleon: uma ferramenta de programação genética orientada a grámaticas. Revista Eletrônica de Iniciação Científica, v. III, p. 1-10, 2003.
15.   VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. Journal of Electronic Testing, Kluwer Academic Publishers USA, v. 17, n. 2, p. 175-183, 2001.
16. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . La Influencia Del Número de Predicados En La Ejecutabilidad de Un Camino En El Contexto de Prueba Basada Em Flujo de Datos.. Revista Información Tecnológica, La Serena - Chile, v. 8, n. JANEIRO, p. 171-178, 1997.
Livros publicados/organizados ou edições
1. DUARTE JR., E. P. (Org.) ; VERGILIO, S. R. (Org.) . II Workshop de Testes e Tolerância a falhas. Curitiba-PR: IMprensa Universitaria - UFPR, 2000. v. 1. 118 p.
2. VERGILIO, S. R. (Org.) . III Workshop de Teses em Engenharia de Software. Maringá-PR: Universidade Estadual de Maringá- CITS (Centro Internacional de Tecnologia de Software), 1998. v. 1. 51 p.
Capítulos de livros publicados
1. Carvalho, A. B. ; POZO, A. R. T. ; VERGILIO, S. R. . Non-Ordered Rule Induction Algorithm Through Multi-Objective Particle Swarm Optimization: Issues and Applications. In: Nedjah, Nadia; Coelho, Leandro dos Santos; Mourelle, Luiza de Macedo. (Org.). Multi-Objective Swarm Intelligent Systems: Theory & Experiences. : Springer Verlag, 2009, v. 261, p. -.
2. EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . Teste de Aplicações Web. In: Delamaro, M.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Campus - Elsevier, 2007, v. 1, p. 209-230.
3. SOUZA, S. R. S. ; VERGILIO, S. R. ; SOUZA, P. . Teste de Programas Concorrentes. In: Delamaro, M.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Campus-Elsevier, 2007, v. 1, p. 231-248.
4. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Geração de Dados de Teste. In: Delamaro, M.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Campus-Elsevier, 2007, v. 1, p. 269-291.
Trabalhos completos publicados em anais de congressos
1. ASSUNCAO, W. K. G. ; Trindade, D.F. G. ; Colanzi, T.E. ; Vergilio, S. R. . Evaluating Test Reuse of a Software Product Line Oriented Strategy. In: IEEE Latin-american Test Workshop, 2011, Porto de Galinhas. 12th IEEE Latin-american Test Workshop, 2011. v. 1. p. 1-6.
2. Lenz, A. R. ; Pozo, Aurora ; Vergilio, S. R. . An Approach for Clustering Test Data. In: IEEE Latin-american Test Wokshop, 2011, Porto de Galinhas. 12th IEEE Latin-amarican Test Workshop, 2011. v. 1. p. 1-6.
3. ASSUNCAO, W. K. G. ; Colanzi, T.E. ; Vergilio, S. R. ; POZO, A. R. T. . Estabelecendo Sequências de Teste de Integração de Classes: Um Estudo Comparativo da Aplicação de Três Algoritmos Evolutivos Multiobjetivos. In: XII Workshop de Teste e Tolerância a Falhas, 2011, Campo Grande. XXIX Simpósio Brasileiro de Redes de Computadores, 2011. v. 1.
4. Zorzo, C.A. ; da Silvia, R.A.L. ; Colanzi, T.E. ; Vergilio, S. R. . Aplicação de uma Estratégia Incremental para o Teste de Linha de Produto de Software. In: X Simpósio Brasileiro de Qualidade de Software, 2011, Curitiba. X Simpósio Brasileiro de Qualidade de Software (SBQS), 2011. v. 1.
5. ASSUNCAO, W. K. G. ; Colanzi, T.E. ; POZO, A. R. T. ; Vergilio, S. R. . Reduzindo o Custo do Teste de Integração com Algoritmos Evolutivos Multiobjetivos e Diferentes Medidas de Acoplamento. In: VIII Encontro Nacional de Inteligência Artificial (ENIA), 2011, Natal. CSBC - 2011 - Encontro Nacional de Inteligência Artificial (ENIA), 2011. v. 1.
6. ASSUNCAO, W. K. G. ; Colanzi, T.E. ; Pozo, Aurora ; VERGILIO, S. R. . Establishing Integration Test Orders of Classes with Several Coupling Measures. In: Genetic and Evolutionary Computation Conference, 2011, Dublin - Irlanda. Genetic and Evolutionary Computation Conference - GECCO 2011. New-York, USA : ACM, 2011. v. 1.
7. Colanzi, T.E. ; ASSUNCAO, W. K. G. ; Vergilio, S. R. ; Pozo, Aurora . Integration Test of Classes and Aspects with a Multi-Evolutionary and Coupling-Based Approach. In: 3rd International Symposium on Search Based Software Engineering, 2011, Szeged/Hungria. 3rd International Symposium on Search Based Software Engineering, 2011. v. 1.
8. ASSUNCAO, W. K. G. ; Colanzi, T.E. ; Pozo, Aurora ; Vergilio, S. R. . Uma Avaliação do Uso de Diferentes Algoritmos Evolutivos Multiobjetivos para Integração de Classes e Aspectos. In: II Workshop de Engenharia de Software Baseada em Buscas, 2011, São Paulo. II Workshop de Engenharia de Software Baseada em Buscas, 2011. v. 1.
9. Colanzi, T.E. ; ASSUNCAO, W. K. G. ; VERGILIO, S. R. ; Pozo, Aurora . Generating Integration Test Orders for Aspect-Oriented Software with Multi-objective Algorithms. In: 5th Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP), 2011, São Paulo. 5th Latin-American Workshop on Aspect-Oriented Software Development, 2011. v. 1.
10. BANZI, A. ; PINHEIRO, G. B. ; Árias, J.C. ; Nobre, T. ; Vergilio, S. R. ; Pozo, Aurora . Seleção de Operadores de Mutação Baseada em Algoritmo de Otimização Multi-objetivo. In: Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2011, São Paulo. SAST - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2011. v. 1.
11. Árias, J.C. ; EMER, M. C. ; Vergilio, S. R. . Web Service Testing With Alternative Data Instance Analisys. In: IADIS International Conference Applied Computing 2011,, 2011, Rio de Janeiro. IADIS International Conference Applied Computing 2011,, 2011. v. 1.
12. Araki, L. ; VERGILIO, S. R. . Um Framework de Geração de Dados de Teste para Critérios Estruturais Baseados em Código Objeto Java. In: XI Workshop de Testes e Tolerância a Falhas, 2010, Gramado. XI Workshop de Testes e Tolerância a Falhas, 2010. v. 1.
13. Lima Pinto, G.H. ; VERGILIO, S. R. . Gerando Dados de Teste para Programas Orientados a Objeto com um Algoritmo Genético Multiobjetivo. In: I Workshop de Otimizaçao em Engenharia de Software, 2010, Salvador - Bahia. I Workshop de Otimizaçao em Engenharia de Software, 2010. v. 1.
14. Lima Pinto, G.H. ; VERGILIO, S. R. . A Multi-Objective Genetic Algorithm to Test Data Generation. In: IEEE International Conference on Tools with Artificial Intellingence, 2010. ICTAI 2010, 2010.
15. CABRAL, R. ; POZO, A. R. T. ; VERGILIO, S. R. . A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem. In: 22nd IFIP International Conference ICTSS 2010, 2010, Natal. 22nd IFIP WG 6.1 International Conference ICTSS 2010, 2010. v. 1. p. 16-29.
16. Árias, J.C. ; EMER, M. C. ; VERGILIO, S. R. . Testando Aplicações de Banco de Dados com Análise de Instâncias de Dados Alternativas. In: Conferência Latinoamericana de Informática, 2010, Assunção. Conferência Latinoamericana de Informática, 2010. v. 1.
17. GALVAN, R. ; VERGILIO, S. R. . Establishing Integration Test Orders for Aspect-Oriented Programs with an Evolutionary Strategy. In: Workshop Latinoamericano de Orientação a Aspectos, 2010, Salvador. LA-WASP, 2010. v. 1.
18. Ascari, L.C. ; VERGILIO, S. R. . Mutation Testing Based on OCL Specifications and Aspect Oriented Programming. In: XXIX International Conference of the Chilean Computer Society, 2010, Antofogasta. Acta Jornadas Chilenas de Computación, 2010, 2010. v. 1.
19. Ascari, L.C. ; Araki, L. ; POZO, A. R. T. ; Vergilio, S. R. . Exploring machine learning techniques for fault localization. In: IEEE Latin American Test Workshop (LATW09), 2009, Búzios-RJ. Test Workshop, 2009. LATW '09. 10th Latin American. v. 1. p. 1-8.
20. Solino, A.L.S. ; Vergilio, S. R. . Mutation Based Testing of Web Services. In: IEEE Latin American Test Workshop (LATW09), 2009, Búzios, RJ. Test Workshop, 2009. LATW '09. 10th Latin American, 2009. v. 1. p. 1-6.
21. BANZI, A. ; Antunes, D. ; PINHEIRO, G. B. ; Árias, J.C. ; Hornun, R. ; CABRAL, R. ; FRIEDMAM, R. ; VERGILIO, S. R. ; Nobre, T. . Avaliando Diferentes Estratégias de Redução do Custo de Teste de Mutação. In: Workshop de Testes e Tolerância a Falhas, 2009, João Pessoa. Workshop de Testes e Tolerância a Falhas (WTF 2009), 2009. v. 1.
22. Caiuta, R. ; POZO, A. R. T. ; EMMENDORFER, L. ; Vergilio, S. R. . Selecting Software Reliability Models with a Neural Network Meta Classifier. In: IEEE International Joint Conference on Neural Networks, 2008, Hong Kong. IEEE International Joint Conference on Neural Networks, 2008. v. 1. p. 3747-3754.
23. Nazar, I.F. ; EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . XTool: Uma Ferramenta de Teste Baseado em Defeitos para Esquemas de Dados. In: Workshop de Teste e Tolerância a Falhas, 2008, Rio de Janeiro. Workshop de Testes e Tolerância a Falhas, 2008. v. 1. p. 1-10.
24. EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . Testing Relational Database Schemas with Alternative Instance Analysis. In: International Conference on Software Engineering and Knowledge Engineering, 2008, San Francisco. 20th International Conference on Software Engineering and Knowledge Engineering. Skokie : Knowledge System Institute, 2008. v. 1. p. 357-362.
25. CRUZ FILHO, P. N. ; VERGILIO, S. R. . Using XML Patterns to Guide Perturbation Based Testing of Web Services. In: International Conference on Software Engineering and Knowledge Engineering, 2008, San Francisco. 20th International Conference on Software Engineering and Knowledge Engineering. Skokie : Knowledge System Institute, 2008. v. 1. p. 197-202.
26. SOUZA, P. ; Sawabe, E.T. ; Simão, A. S. ; VERGILIO, S. R. ; SOUZA, S. R. S. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: European PVM/MPI Users Group Meeting (EuroPVM/MPI), 2008, Dublin. Recent Advances in Parallel Virtual Machine and Message Passing Interface. Berlim : Springer Verlag, 2008. v. 5205. p. 257-264.
27. Carvalho, A. B. ; POZO, A. R. T. ; VERGILIO, S. R. ; Lenz, A. R. . Predicting Fault Proneness of Classes Trough a Multiobjective Particle Swarm Optimization Algorithm. In: IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2008, Dayton. 20th IEEE Int'l Conference on Tools with Artificial Intelligence. Washington, DC, USA : IEEE Computer Society, 2008. v. 1. p. 387-394.
28. Duarte J. ; GALVAN, R. ; Vergilio, S. R. . Teste de Mutação em Diagramas de Atividades. In: Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. II Brazilian Workshop on Systematic and Automated Software Testing, 2008. v. 1. p. 54-63.
29. HAUSEN, A. C. ; VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. ; SIMAO, A. S. . A Tool for Structural Testing of MPI Programs. In: IEEE Latin-American Test Workshop, 2007, Cuzco. 8th IEEE Latin-American Test Workshop, 2007. v. 1.
30. EMER, M. C. ; Nazar, I.F. ; VERGILIO, S. R. ; JINO, M. . Evaluating a Fault-Based Testing Approach for XML Schemas. In: IEEE Latin-American Test Workshop, 2007, Cuzco. 8th IEEE Latin-American Test Workshop, 2007. v. 1.
31. EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . Fault-Based Testing of Data Schemas. In: International Conference on Software Engineering and Knowledge Engineering, 2007, Boston. 19th International Conference on Software Engineering and Knowledge Engineering. Skokie, IL-USA : Knowledge Systems Institute Graduate School, 2007. v. 1. p. 123-128.
32. SILVA, J.T. ; MUSICANTE, M. ; POZO, A. R. T. ; VERGILIO, S. R. . XML Schema Evolution by Context-Free Grammar Inference. In: 19th International Conference on Software Engineering and Knowledge Engineering, 2007, Boston. 19th International Conference on Software Engineering and Knowledge Engineering. Skokie, IL-USA : Knowledge Systems Institute Graduate School, 2007. v. 1. p. 444-449.
33. EMER, M. C. ; VERGILIO, S. R. ; JINO, M. ; Nazar, I.F. ; Caxeiro, P. V. . Uma Avaliação do Teste Estrutural Baseado em Defeitos em Esquemas de Banco de Dados Relacional. In: I Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa. I Brazilian Workshop on Systematic and Automated Software Testing. João Pessoa : Editora Universitária da Paraíba, 2007. v. 1. p. 29-36.
34. CRUZ FILHO, P. N. ; VERGILIO, S. R. . Uma Ferramena para o Teste de Web Services Baseado em Perturbação de Dados Dirigida por Padrões. In: XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. XXI Simpósio Brasileiro de Engenharia de Software - XIV Sessão de Ferramentas. João Pessoa : Editora Universitária da Paraíba, 2007. v. 1. p. 63-69.
35. TOALDO, J. R. ; VERGILIO, S. R. . Applying Mutation Testing in Prolog Programs. In: Workshop de Teste e Tolerância a Falhas, 2006, Curitiba. Workshop de Teste e Tolerância a Faltas, 2006. v. 1. p. 17-28.
36. SOUZA, G. F. ; VERGILIO, S. R. . Modeling Software Reliability Growth with Artificial Neural Networks. In: IEEE Latin American Test Workshop, 2006, Buenos Aires. 7th IEEE Latin -American Test Workshop. Porto Alegre : Evangraf, 2006. v. 1. p. 165-170.
37. FRANZOTTE, L. ; VERGILIO, S. R. . Applying Mutation Testing to XML Schemas. In: International Conference on Software Engineering and Knowledge Engineering, 2006, San Francisco. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering. Skokie, IL, USA : Knowledge Systems Institute Graduate School, 2006. v. 1. p. 511-516.
38. BRAZ, M. R. ; VERGILIO, S. R. . Software Effort Estimation Based on Use Case. In: 30th Annual IEEE International Computer Software and Applications, 2006, Chicago. 30th Annual IEEE International Computer Software and Applications, 2006. v. 1. p. 221-228.
39. Ameilda Jr , L.F. ; VERGILIO, S. R. . Exploring Perturbation Based Testing for Web Services. In: IEEE International Conference on Web Services, 2006, Chicago. IEEE International Conference on Web Services, 2006. v. 1. p. 717-726.
40. COSTA, E. O. ; POZO, A. R. T. ; VERGILIO, S. R. . Using Boosting Techniques to Improve Software Reliability Models Based on Genetic Programming. In: 18th IEEE International Conference on Tools with Artificial, 2006, Washington. 18th IEEE International Conference on Tools with Artificial. Los Alamitos, CA, USA : IEEE Computer Society, 2006. v. 1. p. 643-650.
41. HAUSEN, A. C. ; VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. ; SIMAO, A. S. . ValiMPI: Uma Ferramenta para Teste de Programas Paralelos. In: Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. Anais da XIII Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2006. v. 1. p. 7-12.
42. FERREIRA, L. P. ; VERGILIO, S. R. . TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. In: 17th International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. 17th International Conference on Software Engineering and Knowledge Engineering - SEKE 2005. Skokie, IL, USA : Knowledge Systems Institute Graduate School, 2005. v. 1. p. 312-317.
43. SOUZA, S. R. S. ; VERGILIO, S. R. ; SOUZA, P. ; HAUSEN, A. C. ; SIMAO, A. S. ; GONCALVES, T. B. ; LIMA, A. M. . ValiPar: A Tool for Message-Passing Parallel Programs. In: 17th International Conference on Software Engineering and Knoledge Engineering, 2005, Taipei. 17th International Conference on Software Engineering and Knoledge Engineering - SEKE 2005. Skokie, IL, USA : Knowledge Systems Institute Graduate School, 2005. v. 1. p. 386-391.
44. EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . A Testing Approach for XML Schemas. In: Second International Workshop on Quality Assurance and Testing of Web-Based Applications, 2005, Edinburgh. 29th IEEE Annual International Computer Software and Applications Conference - COMPSAC 2005. Los Alamitos-CA, USA : IEEE Computer Society Press. p. 57-62.
45. COSTA, E. O. ; VERGILIO, S. R. ; POZO, A. R. T. ; SOUZA, G. F. . Modeling Software Reliability Growth With Genetic Programming. In: 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), 2005, Chicago. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005). Los Alamitos, CA, USA : IEEE Press, 2005. v. 1. p. 171-180.
46. ACRAS, R. N. ; VERGILIO, S. R. . Splinter: A Generic Framework for Evolving Modular Finite State Machines. In: Simpósio Brasileiro de Inteligência Artificial - SBIA 2004, 2004, São Luis. Advances in Artificial Intelligence - SBIA2004. Berlin : Springer-Verlag, 2004. v. 1. p. 356-365.
47. BRAZ, M. R. ; SOUZA, C. A. F. ; POZO, A. R. T. ; VERGILIO, S. R. . Exploring Genetic Programming for Software Size Estimation. In: Simpósio Brasileiro de Redes Neurais, 2004, São Luis. Simpósio Brasileiro de Redes Neurais, 2004.
48. SILVA, E. J. ; VERGILIO, S. R. . An Empirical Evaluation of Predicate Based Testing. In: IEEE Latin - American Test Workshop, 2004, Cartagena. 5th IEEE Latin - American Testing Workshop, 2004. v. 1. p. 72-77.
49. SILVA, E. J. ; VERGILIO, S. R. . PredTool: Uma Ferramenta para Apoiar o Teste Baseado em Predicados. In: Conferência Latinoamericana de Informática - CLEI, 2004, Arequipa. Conferência Latinoamericana de Informática - CLEI 2004, 2004.
50. BRAZ, M. R. ; VERGILIO, S. R. . Using Fuzzy Theory for Effort Estimation of Object-Oriented Softwre. In: 16th IEEE Conference on Tools with Artificial Inteligence, 2004, Boca Raton-Florida-USA. 16- IEEE Conference on Tools with Artificial Inteligence. Los Alamitos : IEEE-Press, 2004. v. 1. p. 196-2001.
51. FERREIRA, L. P. ; VERGILIO, S. R. . A Framework for Generation of Test Data Sets Based on Genetic Algorithms. In: IEEE Latin-American Test Workshop - LATW2003, 2003, Natal - RN. IEEE Latin-American Test Workshop - LATW2003, 2003. v. 1.
52. SOUZA, G. F. ; VERGILIO, S. R. ; POZO, A. R. T. . Utilizando Redes Neurais para Estimar o Tamanho de um Software. In: Congresso Brasileiro de Redes Neurais, 2003, Sao Paulo. Congresso Brasileiro de Redes Neurais, 2003. v. 1.
53. ITAKURA, F. ; VERGILIO, S. R. . Evaluating the Usability of a Web Application. In: III Workshop em Engenharia de Software, 2003, Chillan. Jornadas Chilenas de la Computacíon - III Workshop em Engenharia de Software, 2003. v. 1.
54. RIGOLIN, E. N. ; SOUZA, G. F. ; POZO, A. R. T. ; VERGILIO, S. R. . Exploring Machine Learning Techniques for Software Size Estimation. In: International Conference of the Chilean Computer Science Society, 2003, Chillán. SCCC 2003- XXII Iternational Conference of the Chilean Computer Science Society. Los Alamitos, Califórnia : IEEE Computer Society, 2003. v. 1. p. 130-136.
55. ITAKURA, F. ; VERGILIO, S. R. . Usabilidade de Aplicações para Web: Um Estudo de Caso Comparando Diferentes Técnicas de Avaliação. In: Clei - Conferencia Latinoamericana de Informática, 2003, La Paz. XXIX Conferencia Latinoamericana de Informática, 2003. v. 1.
56. SOARES, I. W. ; VERGILIO, S. R. . Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing. In: III IEEE Latin American Test Workshop, 2002, Montevideo. 3rd IEEE Latin-American Test Workshop - LATW2002, 2002. v. 1. p. 33-38.
57. VOLPI, L. M. ; VERGILIO, S. R. . Software Testing in Client-Server Environments: A Strategy and Its Application. In: III IEEE Latin-American Test Workshop, 2002, Montevideo. 3rd Latin-American Test Workshop - LATW2002, 2002. v. 1. p. 45-50.
58. EMER, M. C. ; VERGILIO, S. R. . GPTesT: A Testing Tool Based on Genetic Programming. In: Genetic and Evolutionary Computation Conference - GECCO 2002, 2002, New York. GECCO - Genetic and Evolutionary Computation Conference. San Francisco - California : Morgan Kaufmann Publishers, 2002. v. 1. p. 1343-1350.
59. SOARES, I. W. ; VERGILIO, S. R. . Equivalência de Programas e Teste de Software: Resultados de um Experimento de Aplicação do Critério Análise de Mutantes. In: III Workshop de Tolerância a Falhas, 2002, Búzios. III Workshop de Tolerância a Falhas, 2002.
60. EMER, M. C. ; VERGILIO, S. R. . Selection and Evaluation of Test Sets Based on Genetic Programming. In: XVI Simposio Brasileiro de Engenharia de Software, 2002, Gramado. Anais do XVI Simposio Brasileiro de Engenharia de Software - 2002, 2002. v. 1. p. 82-97.
61. ITAKURA, F. ; VERGILIO, S. R. . Utilizando Avaliação Heurística para Avaliar a Usabilidade de uma Aplicação para Web. In: IV Encontro para a Qualidade nas Tecnologias de Informação e Comunicação, 2001, Lisboa. IV Encontro para a Qualidade nas Tecnologias de Informação e Comunicação, 2001. v. 1. p. 177-184.
62. SPINOSA, E. ; POZO, A. R. T. ; VERGILIO, S. R. . Chameleon: A Generic Tool for Genetic Programming. In: ENIA - Encontro Nacional de Inteligência Artificial, 2001, Fortaleza - Ceará. Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001. v. 1.
63. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Resultados da Aplicação de Diferentes Técnicas de Geração de Dados de Teste Sensíveis a Defeitos. In: XXVI Conferência LatinoAmericana de Informática - CLEI-2001, 2001, Merida. XXVI Conferência LatinoAmericana de Informática - CLEI-2001, 2001. v. 1.
64. TELINSK, L. ; VERGILIO, S. R. . SVM: Uma Proposta para a Manutenção de Visões Materializadas em Ambientes Data Warehousing. In: XXVI Conferência Latino Americana de Informática - CLEI-2001, 2001, Merida. XXVI Conferência Latino Americana de Informática - CLEI-2001, 2001. v. 1.
65. PERES, L. M. ; VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies. In: XXI Conferência Internacional da Sociedade Chilena de Computação, 2001, Punta Arenas. Conferência Internacional da Sociedade Chilena de Computação. Los Alamitos, Califórnia : IEEE Press, 2001. v. 1. p. 240-246.
66. RODRIGUES, E. ; POZO, A. R. T. ; VERGILIO, S. R. ; MUSICANTE, M. . Chameleon: Uma Ferramenta de Indução de Programas. In: II Workshop de Inteligencia Artificial, 2001, Punta Arenas. Jornadas Chilenas de Computación - 2001, 2001. v. 1.
67. VOLPI, L. M. ; VERGILIO, S. R. . Uma Estratégia de Teste para Ambiente Cliente-Servidor. In: I Workshop de Ingenieria de Software, 2001, Punta Arenas. Jornadas Chilenas de Computación, 2001. v. 1.
68. D. Duarte ; VERGILIO, S. R. ; POZO, A. R. T. . An Inductive Logic Programming System for Data Mining. In: The Second Congress of Logic Applied to Technology - LAPTEC - 2001, 2001, São Paulo. Logic, Artificial Intelligence and Robotics. São Paulo : Editora Plêiade, 2001. v. II. p. 125-133.
69. SOARES, I. W. ; VERGILIO, S. R. . Resultados de uma Aplicação do Critério Análise de Mutantes e do Critério Todos-Potenciais-Usos Restritos. In: II Workshop de Testes e Tolerância a Falhas, 2000, Curitiba. II Workshop de Testes e Tolerância a Falhas. Curitiba : UFPR, 2000. v. 1. p. 52-57.
70. MOURA, R. S. T. ; VERGILIO, S. R. . Definição de Operadores de Mutação para o Teste de Programas Prolog. In: II Workshop de Testes e Tolerância a Falhas, 2000, Curitiba. II Workshop de Testes e Tolerância a Falhas. Curitiba : UFPR, 2000. v. 1. p. 58-63.
71. PERES, L. M. ; VERGILIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Path Selection Strategies in The Context of Software Testing Criteria. In: I IEEE Latin-American Test Workshop, 2000, Rio de Janeiro. I IEEE Latin-American Test Workshop, 2000. v. 1. p. 222-227.
72. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. In: I IEEE Latin-American Test Workshop, 2000, Rio de Janeiro. I IEEE Latin-American Test Workshop, 2000. v. 1. p. 228-234.
73. LOPES, F. M. ; POZO, A. R. T. ; VERGILIO, S. R. ; D. Duarte . Sistemas Baeados em Indução: Uma Avaliação Empírica. In: Congreso Latino-Iberoamericano de Investigacion de Operaciones y Sistemas, 2000, Ciudad de Mejico. Congreso Latino-Iberoamericano de Investigacion de Operaciones y Sistemas. v. 1.
74. VERGILIO, S. R. . Object Oriented Software Metrics and the Testing Activity: Some Empirical Results. In: III European Software Measurement Conference, 2000, Madri. III European Software Measurement Conference, 2000.
75. ITAKURA, F. ; VERGILIO, S. R. . Automatic Support for Usability Evaluation of a Web Application. In: IV International Software & Internet Quality Week Europe, 2000, Bruxelas. IV International Software & Internet Quality Week Europe, 2000. v. 1.
76.   VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Selection Of Test Sets To Satisfy Structural Software Testing Criteria.. In: XVII International Conference of the Chilean Computer Science Sciety, 1997, Valparaiso - Chile. XVII International Conference of the Chilean Computer Science Sciety. Piscataway - NJ/USA : IEEE-Press, 1997. v. 1. p. 256-263.
77. SOUZA, S. R. S. ; MALDONADO, J. C. ; VERGILIO, S. R. . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. In: VIII Conferência Internacional de Tecnologia de Software: Qualidade de Software, 1997, Curitiba. VIII Conferência Internacional de Tecnolgia de Software: Qualidade de Software. Curitiba - PR : CITS: Centro Internacional de Tecnologia de Software, 1997. v. 1.
78. PERES, L. M. ; VERGILIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Aspectos de Seleção de Caminhos para Cobertura de Critérios Estruturais de Teste. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia. Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. v. 1. p. 113-122.
79. PERES, L. M. ; VERGILIO, S. R. ; JINO, M. ; MALDONADO, J. C. ; SILVA, J. B. ; PRICE, A. M. A. . Critérios Potenciais Usos: um Mecanismo para Definição de Méricas de Complexidade de Software. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Aguas de Lindoia. Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. v. 1. p. 261-272.
80. BUENO, P. M. S. ; VERGILIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Uma Proposta de Extensão da Ferramenta POKE-TOOL para Apoiar o Tratamento de Não Executabilidade. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia. Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. v. 1. p. 147-159.
81. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Aumentando a Eficácia dos Critérios Estruturais Através da Utilização de Critérios Restritos. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia. Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. v. 1. p. 147-159.
82. VERGILIO, S. R. . Resultados de um Experimento de Aplicação de Diferentes Técnicas de Geração de Dados de Teste. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia. Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. v. 1. p. 122-133.
83. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible Paths Within The Context Of Data Flow Based Criteria. In: VI International Conference on Software Quality, 1996, Ottawa. VI International Conference on Software Quality. Milwaukee - Canada : ASQC, 1996. v. 1. p. 310-321.
84. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Geração de Dados de Teste: Uma Estratégia Que Preserva A Hierarquia de Critérios. In: XIX Simpósio Brasileiro de Engenharia de Software, 1995, Recife - PE. XIX Simpósio Brasileiro de Engenharia de Software. Recife - PE : UFPE, 1995. v. 1. p. 211-222.
85. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Um Experimento de Aplicação de Critérios Baseados Em Fluxo de Dados No Teste de Programas C.. In: XV Congresso da Sociedade Brasileira de Computação e XXI Conferencia Latinoamericana de Informatica, 1995, Canela-RS. XV Congresso da Sociedade Brasileira de Computação e XXI Conferencia Latinoamericana de Informatica. Porto Alegre - RS : UFRGS, 1995. v. 2. p. 941-952.
86. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não Executáveis: Caracterização, Previsão e Determinação Para Suporte Ao Teste de Integração. In: VIII Simpósio Brasileiro de Engenharia de Software, 1994. VIII Simpósio Brasileiro de Engenharia de Software. Curitiba - PR : CITS - Centro Internacional de Tecnologia de Software. v. 1. p. 453-467.
87. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Uma Estratégia de Geração de Dados de Teste. In: VII Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. VII Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro : PUC-PR, 1993. v. 1. p. 306-319.
88. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Influência do Número de Predicados Na Executabilidade de Um Caminho No Contexto de Teste Baseado Em Fluxo de Dados. In: XIX Conferencia Latino-americana de Informática, 1993. XIX Conferencia Latino-americana de Informática. Buenos Aires - Argentina. v. 5. p. 11-23.
89. MALDONADO, J. C. ; VERGILIO, S. R. ; JINO, M. ; CHAIM, M. L. . Critérios Potenciais Usos: Análise da Aplicação de Um Benchmark. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado - RS. VI Simpósio Brasileiro de Engenharia de Software. Porto Alegre - RS : Setor de Cursos e Eventos - UFRGS, 1992. v. 1. p. 357-371.
90. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não Executáveis Na Automação das Atividades de Teste. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado - RS. VI Simpósio Brasileiro de Engenharia de Software. Gramado - RS : Setor de Cursos e Eventos - UFRGS, 1992. v. 1. p. 343-356.
91. MALDONADO, J. C. ; CHAIM, M. L. ; VERGILIO, S. R. ; JINO, M. . Critérios Potenciais Usos: Uma Contribuição para a Atividade de Garantia de Qualidade de Software. In: Workshop em Avaliação de Qualidade de Software, 1991, Rio de Janeiro. Workshop em Avaliação de Qualidade de Software. Rio de Janeiro : COPPE, 1991. v. 1. p. 48-52.
Resumos expandidos publicados em anais de congressos
1. Vergilio, S. R. ; Colanzi, T.E. ; Pozo, Aurora ; ASSUNCAO, W. K. G. . Search Based Software Engineering: A Review from the Brazilian Symposium on Software Engineering. In: Brazilian Symposium on Software Engineering (SBES 2011), 2011, São Paulo. 25th Brazilian Symposium on Software Engineering (SBES 2011). Washington, DC : IEEE Computer Society, 2011. v. 1.
2. BANZI, A. ; Nobre, T. ; PINHEIRO, G. B. ; Árias, J.C. ; POZO, A. R. T. ; VERGILIO, S. R. . A Multi-objective Tabu Search Algorithm for Reducing Mutation Test Costs. In: 22nd IFIP WG 6.1 International Conference ICTSS, 2010, Natal. 22nd IFIP WG 6.1 International Conference ICTSS, 2010. v. 1.
3. VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. . Coverage Testing Criteria for Message Passing Parallel Programs. In: 6th IEEE Latin American Test Workshop, 2005, Salvador. 6th IEEE Latin American Test Workshop, 2005. v. 1.
Resumos publicados em anais de congressos
1. FERREIRA, L. P. ; VERGILIO, S. R. . TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. In: Genetic and Evolutionary Computation Conference - GECCO 2004, 2004, Seattle. Genetic and Evolutionary Computation GECCO 2004:, 2004. v. 3103. p. 1431-1432.
2. ITAKURA, F. ; VERGILIO, S. R. . TOWABE: Uma Ferramenta para Avaliacao de Usabilidade de Aplicacoes para Web. In: XVI Simposio Brasileiro de Engenharia de Software - Sessao de Ferramentas, 2002, Gramado. Anais do Simposio Brasileiro de Engenharia de Software - Sessao de Ferramentas, 2002. v. 1. p. 462-467.
3. ITAKURA, F. ; VERGILIO, S. R. . Uma Ferramenta para Avaliacao de Usabilidade de Aplicacoes para Web. In: V Symposium on Human Factors in Computer Systems, 2002, Fortaleza. Proceedings of IHC 2002 - V Symposium on Human Factors in Computer Systems, 2002. v. 1. p. 389-389.
4. RIGOLIN, E. N. ; WEBER, A. ; POZO, A. R. T. ; VERGILIO, S. R. . Desenvolvimento de Matrículas On-Line. In: Evento de Iniciação Científica da UFPR, 1999, Curitiba - PR. Evento de Iniciacao Cientifica da UFPR. Curitiba-PR : Editora UFPR, 1999. v. 1. p. 306-306.
5. PERES, L. M. ; VERGILIO, S. R. . Estudo de Estratégias para Geração de Dados de Teste. In: EVINC - Evento de Iniciacao Científica da UFPR, 1994, Curitiba - PR. EVINC - Evento de Iniciacao Cientifica da UFPR. Curitiba - PR : Editora - UFPR, 1994. v. 1. p. 255-255.
Artigos aceitos para publicação
1. SILVA, J.T. ; POZO, A. R. T. ; VERGILIO, S. R. ; MUSICANTE, M. . Search-Based Evolution of XML Schemas. Computing and Informatics, 2012.
2. Pozo, Aurora ; Árias, J.C. ; CABRAL, R. ; VERGILIO, S. R. ; Nobre, T. . Multi-objective Optimization Algorithms Applied to the Class Integration and Test Order Problem. International Journal on Software Tools for Technology Transfer (Internet), 2012.
Apresentações de Trabalho
1. Cruz Filho, P. N. ; Vergilio, S. R. . Uma Ferramenta para o Teste de Web Services Baseado em Perturbação de Dados Dirigida por Padrões. 2007. (Apresentação de Trabalho/Simpósio).
2. FERREIRA, L. P. ; VERGILIO, S. R. . TDSGen: An Environment Based on Hybrid Genetic ALgorithms for Generation of Test Data. 2005. (Apresentação de Trabalho/Conferência ou palestra).
3. SOUZA, S. R. S. ; SOUZA, P. ; SIMAO, A. S. ; VERGILIO, S. R. ; HAUSEN, A. C. ; GONCALVES, T. B. . Software Engineering and Knowledge Engineering. 2005. (Apresentação de Trabalho/Conferência ou palestra).
4. VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. ; GONCALVES, T. B. ; LIMA, A. M. ; HAUSEN, A. C. . Coverage Testing Criteria for Message Passing Parallel Program. 2005. (Apresentação de Trabalho/Conferência ou palestra).
5. VERGILIO, S. R. . Jornadas Chilenas de Computación. 2001. (Apresentação de Trabalho/Congresso).
6. VERGILIO, S. R. . Conferência LatinoAmericana de Informática. 2001. (Apresentação de Trabalho/Congresso).
7. VERGILIO, S. R. . LAPTEC-2001- II Congresso de Lógica Aplicada à Tecnologia. 2001. (Apresentação de Trabalho/Congresso).
8. VERGILIO, S. R. . Seleção de Dados de Teste Baseada em Restrição para Satisfazer Critérios de Teste Estrutural. 1997. (Apresentação de Trabalho/Seminário).
9. VERGILIO, S. R. . Workshop do Projeto e Validação e Teste de Sistemas de Operação. 1997. (Apresentação de Trabalho/Outra).
10. VERGILIO, S. R. . Jornadas Latinoamericanas de Informática. 1997. (Apresentação de Trabalho/Conferência ou palestra).
11. VERGILIO, S. R. . VI International Conference on Software Quality. 1996. (Apresentação de Trabalho/Conferência ou palestra).
12. VERGILIO, S. R. . IX Simpósio Brasileiro de Engenharia de Software. 1995. (Apresentação de Trabalho/Simpósio).
13. VERGILIO, S. R. . XXII SEMISH;PANEL. 1995. (Apresentação de Trabalho/Conferência ou palestra).
14. VERGILIO, S. R. . VIII Simpósio Brasileiro de Engenharia de Software. 1994. (Apresentação de Trabalho/Simpósio).
15. VERGILIO, S. R. . Ferramentas para Teste de Software. 1993. (Apresentação de Trabalho/Seminário).
16. VERGILIO, S. R. . VII Simpósio Brasileiro de Engenharia de Software. 1993. (Apresentação de Trabalho/Simpósio).
17. VERGILIO, S. R. . VI Simpósio Brasileiro de Engenharia de Software. 1992. (Apresentação de Trabalho/Simpósio).
18. VERGILIO, S. R. . VII Congresso de Iniciação Científica e Tecnológica em Engenharia. 1988. (Apresentação de Trabalho/Congresso).
Produção técnica
Softwares sem registro de patente
1. RIGOLIN, E. N. ; POZO, A. R. T. ; VERGILIO, S. R. ; TANAKA, E. . SisMa- Sistema de Matrículas do curso de Bel em Informática da UFPR. 2001.
2. FELTRIN, V. ; MONTANO, R. R. ; POZO, A. R. T. ; MUSICANTE, M. ; VERGILIO, S. R. ; EMER, M. C. . SAGU - Sistema de Apoio ao Gerenciamento Universitário. 2000.
Trabalhos técnicos
1. VERGILIO, S. R. . XVI Simpósio Brasileiro de Engenharia de Software. 2002.
2. VERGILIO, S. R. . IV IEEE Latin-American Test Workshop. 2002.
3. VERGILIO, S. R. . JAI - Jornada de Atualização em Informática. 2002.
4. VERGILIO, S. R. . III IEEE Latin-American Test Workshop. 2001.
5. VERGILIO, S. R. . XV Simposio Brasileiro de Engenharia de Software. 2001.
6. VERGILIO, S. R. . Consultor Ad-hoc - Pró-Reitoria de Pesquisa e Pós-Graduação - UEM. 2000.
7. VERGILIO, S. R. . Programa RHAE/CNPq - Edital 01/2000. 2000.
8. VERGILIO, S. R. . Projeto Cartão Nacional de Saúde - Ministério da Saúde. 2000.
9. VERGILIO, S. R. . XI Conferência Internacional de Tecnologia de Sotware. 2000.
10. VERGILIO, S. R. . XIV Simpósio Brasileiro de Engenharia de Software. 2000.
11. VERGILIO, S. R. . II Workshop de Testes e Tolerância a Falhas. 2000.
12. VERGILIO, S. R. . Consultor Ad-hoc: Pró-Reitoria de Pesquisa e Pós-Graduação - UEM. 1999.
13. VERGILIO, S. R. . X Conferência Internacional de Tecnologia de Software. 1999.
14. VERGILIO, S. R. . XIII Simpósio Brasileiro de Engenharia de Software. 1999.
15. VERGILIO, S. R. . Consultoria Especializada - Pró-Reitoria de Pós-Graduação - UEM. 1998.
16. VERGILIO, S. R. . IX Conferência Internacional de Tecnologia de Software. 1998.
17. VERGILIO, S. R. . XII Simpósio Brasileiro de Engenharia de Softawe. 1998.
18. VERGILIO, S. R. . WQS-98: Workshop de Qualidade de Software. 1998.
19. VERGILIO, S. R. . CNS´97 - Chamada Nacional Softex´97. 1997.
20. VERGILIO, S. R. . VIII Conferência Internacional de Tecnologia de Software. 1997.
Demais tipos de produção técnica
1. VERGILIO, S. R. ; SOUZA, S. R. S. . III Brazilian Worskshop on Automated Software Testing. 2009. (Editoração/Anais).
2.
VERGILIO, S. R. . Testes de Software. 2001. (Curso de curta duração ministrado/Especialização).
3. BRODBECK, L. ; VERGILIO, S. R. . Resultados Empíricos da Utilização de Métricas para Software Orientado a Objeto na Atividade de Teste. 2001. (Relatório de pesquisa).
4.
VERGILIO, S. R. . Teste de Software. 2000. (Curso de curta duração ministrado/Especialização).
5. SOARES, I. W. ; VERGILIO, S. R. . Resultados de Um Experimento de Avaliação dos Critérios de Teste Todos-Potenciais Usos Restritos e Análise de Mutantes. 2000. (Relatório de pesquisa).
6.
VERGILIO, S. R. . Métricas de Software. 1998. (Curso de curta duração ministrado/Especialização).
7.
VERGILIO, S. R. . Teste e Confiabilidade de Software. 1997. (Curso de curta duração ministrado/Outra).
8. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Estudo de Estratégias de Geração de Dadosde teste. 1997. (Relatório de pesquisa).
9. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Resultados da Aplicação de Diferentes Técnicas de Geração de Dados de Teste Sensíveis a Erros. 1997. (Relatório de pesquisa).
10. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Uma Família de Critérios de Teste Baseados em Restrições. 1997. (Relatório de pesquisa).
11. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . An Experimental Evaluation of Different Testing Techniques. 1997. (Relatório de pesquisa).
12. VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Avaliação Empírica de Critérios Baseados em Restrições. 1997. (Relatório de pesquisa).
13.
VERGILIO, S. R. . Testabilidade de Software. 1995. (Curso de curta duração ministrado/Especialização).
14.
MATHUR, A. P. ; MALDONADO, J. C. ; VERGILIO, S. R. . Software Testing Reliability. 1995. (Curso de curta duração ministrado/Outra).
15.
VERGILIO, S. R. . Banco de Dados. 1994. (Curso de curta duração ministrado/Extensão).

Bancas
Participação em bancas examinadoras
Dissertações
1. VERGILIO, S. R.; Camargo, W. V.; FABBRI, S. C. P.. Participação em banca de Fábio Roberto Octaviano. Geração de Cenários de Teste com Base em Casos de Uso. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
2. TRAVASSOS, G.; WERNER, C.; Vergilio, S. R.. Participação em banca de Silvia Lopes Santa Isabel. Seleção de Abordagens de Teste para Projetos de Software Web. 2011. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
3. Vergilio, S. R.; Masiero, P.C.; SOUZA, S. R. S.. Participação em banca de Maria Adelina Silva Brito. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
4. Paraiso, E.C.; Koerich, A.L.; Reinehr, S.; VERGILIO, S. R.. Participação em banca de Cristian Simons. Priorização de Casos de Testes de Regressão usando Amostragem por perseguição de Falhas. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.
5. MALDONADO, J. C.; DELAMARO, M. E.; VERGILIO, S. R.. Participação em banca de Diogo Nascimento Campanha. Teste de mutação nos paradigmas procentimental e OO: uma avaliação no contexto de estrutura de dados. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
6. MALDONADO, J. C.; DELAMARO, M. E.; VERGILIO, S. R.. Participação em banca de Diogo Nascimento Campanha. Teste de Mutação nos Paradigmas procedimental e OO: uma Avaliação no Contexto de Estrutura de Dados. 2010. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
7. SOUZA, P.; Nandamudi, V.; Vergilio, S. R.. Participação em banca de Felipe Santos Sarmanho. Teste de programas concorrentes com memória compartilhada. 2009. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
8. VERGILIO, S. R.; Huzita, E.H.M.; GIMENES, I.. Participação em banca de Tiago Lopes Gonçalves. Uma Abordagem para Apoio à Aplicação de estudos Experimentais em Processo de Negócio. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.
9. VERGILIO, S. R.; JINO, M.; Attux, R.R.F.. Participação em banca de Daniel Guerreiro e Silva. Uso de Aprendizado de Máquina para estimar Esforço de Testes Funcionais. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
10. MONARD, C.; VERGILIO, S. R.; POZO, A. R. T.. Participação em banca de Augusto Silva Torácio. Aprendizado de Regras de Classificação com Otimização por Nuvem de Partículas Multiobjetivo. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
11. Laender, A.H.F.; Vergilio, S. R.; HARA, C. S.. Participação em banca de Aldo Monteiro do Nascimento. Um modelo para integração de documentos XML en nível de instância. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
12. Vergilio, S. R.; SOUZA, S. R. S.; SIMAO, A. S.. Participação em banca de André Takeshi Endo. Teste de Composição de web services: uma estratégia basead em um modelo de teste de programas paralelos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
13. Vergilio, S. R.; Silva, F.S.C.; Melo, A.C.V.. Participação em banca de Paulo Silveira. Geração automática de casos de teste para Web Services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
14. Bigonha, R.S.; Vergilio, S. R.; MUSICANTE, M.. Participação em banca de André Murbach Maidl. Uma implementação da semântica de ações orientada a objetos em Maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
15. VERGILIO, S. R.; MUSICANTE, M.; PIRES, P.. Participação em banca de Marcos Aurélio Carrero. Um Sistema de Tempo de Execução para a Linguagem Pews. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
16. VERGILIO, S. R.; Anido, R.; Martins, E.. Participação em banca de Bruno Teixeira de Abreu. Uma Abordagem Evolutiva para a Geração Automática de Dados de Teste. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
17. VERGILIO, S. R.; SANCHES, R.; FABBRI, S. C. P.. Participação em banca de Karina Kyomi Kawai. Diretrizes para Elaboracao de Documentos de Requisitos com Enfase nos Requisitos Funcionais. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
18. VERGILIO, S. R.; POZO, A. R. T.; NIEVOLA, J. C.. Participação em banca de Rubens Barbosa Filho. MULTIPBIL: Um algoritmo de estimacao de distribuicao aplicado a problemas de otimizacao multimodais. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
19. VERGILIO, S. R.; BIAJIZ, M.; PRADO, A. F.. Participação em banca de Raphael Marcilio de Souza Neto. C-CORE (Component Construction and Reuse): Uma Ferramenta de Programação para Construção e Reuso de Componentes. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.
20. VERGILIO, S. R.; JINO, M.; VILELA, P. R.; DALTRINI, B. M.; GUDWIN, R.. Participação em banca de Adriana Carnielo. Teste Baseado na Estrutura de Casos de Uso. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
21. VERGILIO, S. R.; DALTRINI, B. M.; JINO, M.; VILELA, P. R.; GUDWIN, R.. Participação em banca de Andréia Carniello. Instrumentação Configurável e Incremental de Programas. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.
22. VERGILIO, S. R.; SANCHES, R.; FORTES, R. P. M.. Participação em banca de Tyciano Maia Ribeiro. Evolução de Uma Agenda para Grupos na Web. 2003. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
23. BIAJIZ, M.; VERGILIO, S. R.; DELAMARO, M. E.; SPOTO, E. S.. Participação em banca de Denerval Mendez Batista. DBValTool: Uma ferramenta para Apoiar o Teste e Validação de Projeto Lógico de Banco de Dados Relacional. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
24. SPOTO, E. S.; VERGILIO, S. R.; DELAMARO, M. E.. Participação em banca de Carla Tiaki Utsunomiya. Métricas Orientadas a Objeto Aplicadas ao Código Objeto Java. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
25. COSTA, A. C.; VERGILIO, S. R.; MUSICANTE, M.; POZO, A. R. T.. Participação em banca de Ernesto Rodrigues Malta. Evolução de Funções em Programação Genética Orientada a Gramáticas. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
26. VERGILIO, S. R.; SANCHES, R.; FABBRI, S. C. P.. Participação em banca de Gláucio Giuliano Brogini. GQS-AE- Uma abordagem Evolucionista para Garantia de Qualidade de Software. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
27. STEINER, M. T. A.; VERGILIO, S. R.; POZO, A. R. T.. Participação em banca de Fábio Mendonça Lopes. Algoritmos Genéticos Restritos por Listas Tabu no Contexto de Mineração de Dados. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
28. VERGILIO, S. R.; CORTES, M. L.; WAINER, J.. Participação em banca de Ademir Morgenstern Padilha. MAPS-15554: Uma Metodologia de Avaliação de Processo de Software para o Ambiente ExPSEE Baseada no ISSO/IEC TR 15504. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
29. FREITAS, A. A.; VERGILIO, S. R.; POZO, A. R. T.. Participação em banca de Mozart Hasse. Mineração de Dados Usando Algoritmos Genéticos. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
30. MEIRA, S.; VERGILIO, S. R.; MUSICANTE, M.; SUGA, N.. Participação em banca de Jaylson Teixeira. Método para Gerenciamento de Pequenos Projetos de Software. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
31. PENTEADO, R.; VERGILIO, S. R.; SANCHES, R.. Participação em banca de Paola Gourlart Rosa. Modelo de Avaliação de Processo de Software para Pequena Empresa. 1997. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Teses de doutorado
1. Martins, E.; Vergilio, S. R.; Francisco, M.F.M.; Xavier, E.C.; JINO, M.. Participação em banca de Thase Yano. Uma Abordagem Evolutiva Multiobjetivo para Geração Automática de Casos de Teste a Partir de Máquinas de Estados. 2011. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.
2. MALDONADO, J. C.; VERGILIO, S. R.; BARBOSA, E.F.; TRAVASSOS, G.; STAA, A.v.. Participação em banca de Fabiano Cutigi Ferrari. A contribution to the fault-based testing of aspect-oriented software. 2010. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
3. VERGILIO, S. R.; BARROS, M.O.; WERNER, C.; ROCHA, A.R.; TRAVASSOS, G.. Participação em banca de Arilo Claudio Dias Neto. Seleção de Técnicas de Teste Baseado em Modelos. 2009. Tese (Doutorado em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
4. Macedo, R..J.A.; Westphall, C.B.; Vergilio, S. R.; WILLLE, E. C. G.; DUARTE JR., E. P.. Participação em banca de Andréa Weber. Um algoritmo de Diagnóstico distribuído para redes particionáveis de topologia arbitrária. 2008. Tese (Doutorado em Engneharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Parná.
5. VERGILIO, S. R.; CHAIM, M. L.; RICARTE, I. L. M.; JINO, M.; MAGALHAES, L. P.; MARTINI, J. M.. Participação em banca de Plinio de Sá Leitão Junior. Teste Baseado na Interação entre Regras Ativas Escritas em SQL. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.
6. VILELA, P. R.; VERGILIO, S. R.; PRADO, A. F.; NUNES, I. R.; GUDWIN, R.; JINO, M.; MALDONADO, J. C.. Participação em banca de Edmundo Sérgio Spoto. Teste Edtrutural de Programas de Aplicação de Banco de Dados Relacional. 2000. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.
Qualificações de doutorado
1. MOREIRA, A.M.; SOLAR, G.V.; Vergilio, S. R.; MUSICANTE, M.. Participação em banca de Plácido Antonio de Souza Neto. Uma Proposta de Metodologia para o Desenvolvimento de Aplicações Web Baseadas em PEWS. 2010. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
2. Stadzisz, P.C.; VERGILIO, S. R.; Koscianski, A.; Simão, J.M.. Participação em banca de Luciane Telinski Wiedermann Agner. Proposta de Método para Transformação de Modelos no Contexto de MDA. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
Monografias de cursos de aperfeiçoamento/especialização
1. VERGILIO, S. R.; GODOY JUNIOR, W.. Participação em banca de Paulo Roberto Farah. Análise de Desempenho de Redes. 2000. Monografia (Aperfeiçoamento/Especialização em Espec. em Teleinformática e Redes de Computadores) - Universidade Tecnológica Federal do Paraná.
2. VERGILIO, S. R.; GODOY JUNIOR, W.. Participação em banca de Werner Monterio Weller. Análise da Viabilidade para Implantação de Uma Rede Ethernet a 100Mbits/s. 2000. Monografia (Aperfeiçoamento/Especialização em Espec. em Teleinformática e Redes de Computadores) - Universidade Tecnológica Federal do Paraná.
3. VERGILIO, S. R.; CARVALHO, C. A. P.. Participação em banca de Donei L. Andretta. Migração de Paradigma Estruturado para Orientado a Objeto. 1994. Monografia (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná.
4. VERGILIO, S. R.; CARVALHO, C. A. P.. Participação em banca de Marcelo G. Spoladore. Case como ferramenta de desenvolvimento. 1994. Monografia (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná.
Trabalhos de Conclusão de Curso de graduação
1. Vergilio, S. R.; DIRENE, A. I.; HARA, C. S.. Participação em banca de Aline Wolpert dos Santos/Aylana Fernanda Nicoletti. Um estudo sobre Padrões de Alteração em esquemas XML. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná.
2. GARCIA, L. S.; Vergilio, S. R.; HARA, C. S.. Participação em banca de Frantchesco Cecchin. Uma Interface Gráfica para Ferramentas de Detecção de Diferenças entre Documentos XML. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná.
3. Vergilio, S. R.; DIRENE, A. I.; HARA, C. S.. Participação em banca de Cassiano Beltrame/Gisele Munhos/Thiago Prado. Agol - Uma agenda Online com Persistência Objeto-Relacional. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná.
4. VERGILIO, S. R.; FREITAS, A. C.; SUGA, N.. Participação em banca de Gabriel dos Santos. EAD (Ensino a Distância) de Programação em Java. 2002. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
5. SUNYE, M.; VERGILIO, S. R.; HARA, C. S.. Participação em banca de Alessandro N. Riccio/ ViniciusS. Souza/ Marcelo Passaglia. AVM Datalog: Uma Implementação de um Sistema Didático de Datalog. 2002. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
6. VERGILIO, S. R.; HARA, C. S.; MUSICANTE, M.. Participação em banca de Áureo A. Androczevecs/Bernardo R.Neto/Lauro A.S.Bueno. X-Lib: Um sistema Bibliotecário que utiliza o Banco de Dados Tamino XML Server. 2002. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
7. HARA, C. S.; VERGILIO, S. R.; MUSICANTE, M.. Participação em banca de Alessandro R. Zamboni. Especificação Formal de Módulos de um Data Warehouse. 2001. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
8. VERGILIO, S. R.; FREITAS, A. C.; HEXSEL, R. A.. Participação em banca de Fernando Feltrin/Sandro J. Alves/Tiago O. Ferronatto. Sistema de Prontuário Eletrônico Utilizando Tecnologia de Cartões Inteligentes. 2001. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
9. VERGILIO, S. R.; FREITAS, A. C.; SUGA, N.. Participação em banca de Davi M.da Silva/ Joselene Marques. Documentação de Processo de Desenvolvimento de Software. 2001. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
10. VERGILIO, S. R.. Participação em banca de Angelo Binnack/Lidiane S. Abe/Yuri O. do Amaral. Simulador de Futebol de Robôs. 2000. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
11. VERGILIO, S. R.; POZO, A. R. T.; MUSICANTE, M.. Participação em banca de Fábio H.M.Wasilenski/Jailton de A. Cordeiro. Estudo de Ferramenta de Suporte a Decisão e Implementação de um Protótipo de Ferramenta OLAP. 2000. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
12. VERGILIO, S. R.; POZO, A. R. T.; MUSICANTE, M.. Participação em banca de Annelisa P.Ferreira/Lisiane Sztoltz/Mariana N. Garay. Projeto de Sistemas OLAP/Interface e Comunicação com o Back-End. 2000. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
13. SUNYE, M.; VERGILIO, S. R.; F. JUNIOR, S. S.. Participação em banca de Marcelo M. Manhães/ Fernando Ribeiro. Sistema de Gerenciamento de Segurança. 1999. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
14. VERGILIO, S. R.; POZO, A. R. T.; URBAN, A. E.. Participação em banca de Sandra Balthazar. Protótipo de Sistema de Armazenamento e Recuperação de Dados de Espectografia Acústica. 1999. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
15. VERGILIO, S. R.; SUNYE, M.; MULLER JUNIOR, B.. Participação em banca de Lucas Somavilla/Melita G. Barisch. Estudo de Viabilidade para a Conversão entre Banco de Dados Hierárquico e Relacional. 1998. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
16. ALVES, M. H. V.; VERGILIO, S. R.; PRETO, T. M.. Participação em banca de Abdrea C. Ayres/Marcelo B. Giacomel. Multimídia/Banco de Dados. 1997. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
17. VERGILIO, S. R.; MURTA, C. D.; DELGADO, A. L. N.. Participação em banca de Arnaldo L. Matuchewshi/ Igor D.Schultz. Especificação e Implementação de uma Ferramenta de Auxílio no Desenvolvimento de Banco de Dados. 1994. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
18. CASTILHO, M.; VERGILIO, S. R.; BORGES NETO, J.. Participação em banca de Cleverson Orlando Cachoeira. NIquel: Um Ambiente de Reconhecimento de Linguagem Natural para acessar um Banco de Dados Relacional. 1993. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
19. CLARO FILHO, O.; VERGILIO, S. R.; MULLER JUNIOR, B.. Participação em banca de Débora Cristiane Pizzato. Modelo Cliente-Servidor: Enfoque em Banco de Dados. 1993. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.
Participação em bancas de comissões julgadoras
Concurso público
1. VERGILIO, S. R.; CASTILHO, M.; BORGES NETO, J.; GARCIA, L. S.; LIMA, V. L. S.. Concurso Público de Provas e Títulos para a Clase de Professor Adjunto. 2002. Universidade Federal do Paraná.
2. VERGILIO, S. R.; MUSICANTE, M.; VAZ, M. S. M. G.. Concurso Público de Provas e Títulos para Professor Não Titular. 2002. Universidade Estadual do Centro-Oeste.
3. FREITAS, A. C.; DIRENE, A. I.; VERGILIO, S. R.. Teste Seletivo para Professor Substituto. 2000. Universidade Federal do Paraná.
4. VERGILIO, S. R.; VILELA, P. R.; GIMENES, I.. Concurso Unificado para Professor Não Titular. 1997. Universidade Estadual de Maringá.
5. VERGILIO, S. R.; R.CARVALHO, A. M.; ZUBEN, F. J. V.. Concurso Unificado para Professor não Titular. 1996. Universidade Estadual de Maringá.
6. DELGADO, A. L. N.; F. JUNIOR, S. S.; ABSY, P. R.; MURTA, C. D.; URBAN, A. E.; GUEDES, A. L.; MADEIRA, H. M.; MADRUGA, L. S.; B. JUNIOR, R.; VERGILIO, S. R.. Concurso para Analista de Sistemas. 1994. Universidade Federal do Paraná.
7. VERGILIO, S. R.; PARANHOS, W.. Concurso Público de Provas e Títulos para Professor Auxiliar. 1994. Universidade Federal do Paraná.
Avaliação de cursos
1. GIMENES, I.; VERGILIO, S. R.; BASTANI, R. F.. Avaliação de Curso - Reconhecimento. 1995. Federacao de Estabelecimentos de Ensino Superior de Novo Hamburgo.
Outras participações
1. Matuda, N. S.; Carmos, R.J.S.; VERGILIO, S. R.. Comissão de avaliação de desempenho em estágio probatório. 2009. Universidade Federal do Paraná.
2. VERGILIO, S. R.; MUSICANTE, M.; REIS, O. J.. Comissão de Avaliação de Desempenho em Estágio Probatório. 2001. Universidade Federal do Paraná.
3. MURTA, C. D.; VERGILIO, S. R.. Comissão de Seleção de Monitores. 2000. Universidade Federal do Paraná.
4. VERGILIO, S. R.; DUARTE JR., E. P.; LACERDA, M. R.. Comissão de Avaliação de Desempenho em Estágio Probatório. 2000. Universidade Federal do Paraná.
5. VERGILIO, S. R.; POZO, A. R. T.; MUSICANTE, M.. Banca Examinadora de Trabalhos-V Evento de Iniciação Científica da UFPR. 1997. Universidade Federal do Paraná.
6. MURTA, C. D.; VERGILIO, S. R.. Comissão de Seleção de Monitores. 1994. Universidade Federal do Paraná.

Eventos
Participação em eventos
1. International Conference on Software Test and Technology. 2010. (Congresso).
2. Congresso Brasileiro de Desenvolvimento de Software: Teoria e Prática. 2010. (Congresso).
3. Simpósio Brasileiro de Métodos Formais. 2009. (Simpósio).
4. Simposio Brasilleiro de Engenharia de Software. 2008. (Simpósio).
5. Simpósio Brasileiro de Engenharia de Software.Uma Ferramenta para o Teste de Web Services Baseado em Perturbação de Dados Dirigida por Padrões. 2007. (Congresso).
6. Simpósio Brasleiro de Redes de Computadores - Workshop de Teste e Tolerância a Falhas.Applying Mutation Testing in Prolog Programs. 2006. (Simpósio).
7. Simpósio Brasileiro de Engenharia de Software.ValiMPI: Uma Ferramenta para Teste de Programas Paralelos. 2006. (Simpósio).
8. 6th IEEE Latin American Test Workshop.6th IEEE Latin American Test Workshop. 2005. (Congresso).
9. Software Engineering an Knowledge Engineering SEKE.TDSGen: An Environment Based on Hybrid Genetic Algorithms fo Generation of Test Data. 2005. (Congresso).
10. XVI Simpósio Brasileiro de Engenharia de Software.XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).
11. III European Software Measurement Conference.III European Software Measurement Conference. 2000. (Congresso).
12. II Workshop de Tolerância a Falhas.II Workshop de Teste e Tolerância a Falhas. 2000. (Outra).
13. XVIII Congresso da SBC.XVIII Congresso da SBC. 1998. (Congresso).
14. XII Simpósio Brasileiro de Engenharia de Software.XII Simpósio Brasileiro de Engenharia de Software. 1998. (Simpósio).
15. Workshop do Projeto Validação e Teste de Sistemas de Operação.Workshop do Projeto Validação e Teste de Sistemas de Operação. 1997. (Outra).
16. ISSRE-International Symposiun on Software Reliability.ISSRE-International Symposiun on Software Reliability. 1996. (Simpósio).
17. .ASM96 - Conference. 1996. (Outra).
18. Congresso da SBC e XXI Conferência Latino Americana de Informática.XV Congresso da SBC e XXI Conferência Latino Americana de Informática. 1995. (Congresso).
19. VI Simpósio Brasileiro de Engenharia de Software.VI Simpósio Brasileiro de Engenharia de Software. 1992. (Simpósio).
Organização de eventos
1. VERGILIO, S. R. . V Simpósio Brasileiro de Linguagens de Programação. 2001. (Congresso).
2. DUARTE JR., E. P. ; VERGILIO, S. R. . II WTTF - Workshop de Testes e Tolerância a Falhas. 2000. (Outro).
3. VERGILIO, S. R. . III Workshop de Teses em Engenharia de Software. 1998. (Outro).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Johnny Maikeo. Teste de software em Linha de Produto de sofware. Início: 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná. (Orientador).
2. Wesley K. G. Assunção. Integração de classes e aspectos através de otimização multi-objetivo. Início: 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
3. Edison K. Fillus. MIneração de aspectos com técnicas de clustering. Início: 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná. (Orientador).
Tese de doutorado
1. Luiz Carlos Camargo. Teste de aplicações utilizando MPI Reduce. Início: 2011. Tese (Doutorado em Doutorado em Informática) - Universidade Federal do Paraná. (Orientador).
2. Thelma Elita Colanzi Lopes. Otimização em Linhas de Produto de Software. Início: 2010. Tese (Doutorado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. João Carlos Garcia Árias. Teste de Aplicações Baseado em Análise de Instâncias de Dados Alternativas. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
2. Tiago Nobre. Uma abordagem baseada em algoritmos de otimização multiobjetivos para reduzir. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
3. Gustavo Henrique de Lima Pinto. Um Algoritmo Genético Multi-objetivo para Geração de Dados de Teste. 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
4. Rodrigo Galvan. Utilizando Algoritmos Meta-heurísticos para Estabelecer Sequências de Teste de Integração para Programas Orientados a Aspectos. 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
5. Luciano César Ascari. Teste Baseado em Defeitos de Classes Java Utilizando Aspectos e Mutação de Especificações OCL. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
6. Lucilia Araki. Um Algoritmo Evolutivo de Geração de Dados de Teste para Satisfazer CritériosBaseados em Código Objeto Java. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
7. Alexandre Rafael Lenz. Utilizando Técnicas de Aprendizado de Máquina para Apoiar o Teste de Regressão. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
8. Rafael Caiuta. Utilizando Meta-Aprendizado para Seleção de Modelos de Confiabilidade de Software. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
9. André Luiz da Silva Solino. Teste Baseado em Defetios para Web Services. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
10. Julio Teodoro da Silva. Um Algoritmo de Evolução de Gramáticas Livres de Contexto. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
11. Igor Fabiano Nazar. XTool: Uma Ferramenta de Teste de Esquemas para Estrutura de Dados. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Fundacao Araucaria. Orientador: Silvia Regina Vergilio.
12. Paulo Nei Cruz Filho. Teste de Software Baseado em Perturbação de Dados Dirigida por Padrões. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
13. Lourival Francisco Junior. Explorando Teste Baseado em Pertubações no Contexto de Web Services. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
14. Ledyvânia Franzote. Utilizando Análise de Mutantes em Documentos XML Schema. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
15. Claudio Martins Rocha. Explorando o Relacionamento entre Metricas Baseadas em Caso de Uso e o Numero de Casos de Teste. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
16. Alexandre Hausen. ValiMPI: Uma Ferramenta de Teste Estrutural para Programas Paralelos em Ambientes de Passagem de Mensagem. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
17. Márcio Rodrigo Braz. Métricas de Software Baseadas em Caso de Uso e Teoria Fuzzy. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
18. Gustavo Alexandre de Souza. Utilizando Redes Neurais para Modelar a Confiabilidade de Software. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
19. Juliano R. Toaldo. Utilizando Análise de Mutantes para o Teste de Programas Prolog. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
20. Edenilson José Silva. PredTool: Uma Ferramenta para Apoiar o Teste Baseado em Predicados. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
21. Luciano Petinati Ferreira. TSDGen: Uma ferramenta de Geração de Dados de Teste Baseada em Algoritmos Genéticos. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Silvia Regina Vergilio.
22. Maria Cláudia Figueiredo Pereira Emer. Seleção e Avaliação de Dados de Teste Baseadas em Programação Genética. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Silvia Regina Vergilio.
23. Denio Duarte. Utilizando Técnicas de Programação Lógica Indutiva para Mineração de Banco de Dados Relacional. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
24. Leonardo Brodbeck Chaves. Uma Avaliação Empírica de Métricas para Programas Orientados a Objeto no Contexto de Teste de Software. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
25. Lisiane Maes Volpi. Uma Estratégia de Teste de Software para Ambiente Cliente-Servidor. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
26. Fernando Takashi Itakura. TOWABE: Uma Ferramenta para Avaliação de Usabilidade de Aplicações para Web. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
27. Inali Wisnierwski Soares. Análise de Mutantes e Critérios Restritos no Contexto de Teste de Software: Resultados de uma Avaliação Empírica. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
28. Luciane T. Agner. Manutenção de Visões Materializadas em Datawarehouse. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Orientador: Silvia Regina Vergilio.
29. Leticia Mara Peres. Estratégias de Geração de Dados de Teste: Proposição, Implementação e Validação. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, . Orientador: Silvia Regina Vergilio.
Tese de doutorado
1. Maria Claudia F.P. Emer. Teste de Esquemas Através de Análise de Instâncias Alternativas. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Silvia Regina Vergilio.
Supervisão de pós-doutorado
1. Maria Cláudia F. P. Emer. Teste de Software Utilizando Análise de Instâncias de Dados Alternativas. 2009. Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Silvia Regina Vergilio.
Monografia de conclusão de curso de aperfeiçoamento/especialização
1. Ivan Rodrigues do Nascimento. Modelagem de Documentos XML com Diagramas UML. 2005. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
2. Maury Antonio Cequinel Junior. Resultados da Avaliacao de Usabilidade de Web-Sites de Tribunais de Contas Web-Sites de Tribunais de Contas. 2004. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
3. Luciano A. Mittmann. Avaliando a Usabilidade do Web Site Paranavegar. 2003. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
4. Cláudio H. Goedicke. Comércio Eletrônico. 2003. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
5. Sandro Giongo. WebServices: Perspectivas de Uma Nova Tecnologia. 2003. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
6. Cláudio M. Rocha. GED- Gerenciamento Eletrônico de Documentos. 2003. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
7. Célio Resnoto. Uma Introdução ao Refatoramento de Programas. 2003. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
8. Greice Mazarotto Tulio. Uma Introdução à Qualidade de Software. 2002. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
9. Marcelo Soares da Silva. Modelo de Gestão de Projetos: Uma Proposta para o Desenvolvimento de Software. 2002. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
10. Amilcar Fernandes Costa de Abreu. Uma Visão Geral de Diferentes Abordagens de Análise e Projeto Orientados a Objeto. 2001. Monografia. (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
11. Rafel Araujo da Silva. Implantação de Um Programa de Métricas Usando Análise por Pontos de Função. 1999. Monografia. (Aperfeiçoamento/Especialização em Curso de Pós Graduação em Engenharia de Software) - Universidade Tecnológica Federal do Paraná. Orientador: Silvia Regina Vergilio.
12. Maria do Rocio Domanshi. Métricas e Modelos para Qualidade de Software. 1999. Monografia. (Aperfeiçoamento/Especialização em Curso de Pos Graduacao em Engenharia de Software) - Universidade Tecnológica Federal do Paraná. Orientador: Silvia Regina Vergilio.
13. Luiz Aparecido Costa. Métricas para Software Orientado a Objetos. 1999. Monografia. (Aperfeiçoamento/Especialização em Curso de Pós Graduação em Engenharia de Software) - Universidade Tecnológica Federal do Paraná. Orientador: Silvia Regina Vergilio.
14. Mauro Roberto Juski. Métricas e o Teste de Programas. 1999. Monografia. (Aperfeiçoamento/Especialização em Curso de Pós Graduação em Engenharia de Software) - Universidade Tecnológica Federal do Paraná. Orientador: Silvia Regina Vergilio.
Trabalho de conclusão de curso de graduação
1. Jhonatan da Silva Bianchi/Willian Emanoel Rodrigues. Implementação de Métricas Arquiteturais para Linha de Produto de Software. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
2. Fábio Alves Neves/ Felipe Oliveira Bittencourt. Teste de Aplicações Web Baseado em Mutações de Máquinas de Estado. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
3. Yves Cooper Furusho. Utilizando Algoritmos de Aprendizado de Máquina para gera modelos Preditivos a partir de Métricas de Software. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
4. Guilherme A. Bill; Rodolpho M.Carmo. Desenvolvimento de Aplicaçãoes Web com UML: Um Estudo de Caso para uma Aplicação em Pizzarias. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
5. Paulo V. Caxeiro. Utilizando uma Abordagem Baseada em Defeitos para o Teste de Esquemas de Bases de Dados: Resultados de um Estudo com a Ferramenta XTool. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
6. Daniel Bitencourt/ Rafael Kaminenko. Painel de Controle para Hospedagem de Sites na Internet. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
7. Fabrício Resende de Souza. Avaliação da Qualidade de um Software Industrial. 2004. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
8. Renato Suga. Anaĺise de Mutantes e XML. 2004. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
9. Gustavo K. Poll e Paulo N. Cruz Filho. Padrões de Projeto. 2004. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
10. Ricardo N. Acras. Splinter: Uma Ferramenta de Programação Evolucionária. 2003. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
11. Leandro H. Nakamura/Marcos A. Carrero. Um módulo de Instrumentação de Programas para Auxiliar o Teste Baseado em Predicados. 2002. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
12. Euler F. Silva/Gethe G. Junior. Mogere: Módulo Gerador de Restrições para Automatizar o Teste Baseado em Predicados. 2002. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
13. Evandro N. Regolin/ Elisa K. Tanaka. Desenvolvimento de Sistema de Matrícula On-Line. 2001. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
14. Alexandre H. de Maria/Marcela L.Otto/Misael A.Bortolaz. Utilização de Algoritmos Genéticos para Facilitar a Automação de Critérios de Teste. 2001. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
15. Marilda Gnatta Daluche/ Nadia P. Kozievitch. Implementação de um Protótipo de Datawarehouse para o SAU5. 1999. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
16. Jupiara L. Jordani/Rosana P. Pierin/Silmara C. Teixeira. Ferramenta para Estimativa de Custo e Cronograma Baseado no Modelo COCOMO. 1998. Trabalho de Conclusão de Curso. (Graduação em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
Iniciação Científica
1. Ernani Willemberg Ribeiro. Geração de dados de teste utilizando algoritmos multiobjetivo. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
2. Talita Alcantara Demichelli. Um algorithmo evolutivo de geração de dados de teste. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciências da Computação) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
3. Aldo Monteiro do Nascimento. Avaliacão de Critérios de Teste Estrutural em Ambientes de Passagem de Mensagem. 2004. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
4. Augusto A.P.G. Torácio. Definição e Implementação de um Módulo de Suorte à Aplicação de Critérios de Teste em Ambientes de Passagem de Mensagens. 2004. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
5. Eric Pereira Brobouski. Defincão e Implementacão de um módulo de auxílio à manutencao de casos de teste. 2004. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
6. Ana Paula Costacurta. Auxílio à Documentação e Integração dos Módulos da Ferramenta ValiPVM. 2004. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
7. Ricardo N. Acras. Utilizando o Conceito de Evolução para Realizar o Teste de Especificações. 2003. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
8. Fernanda Li Minku. Utilizando Conceitos de Evolução para Realizar o Teste de Software. 2002. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
9. Leticia Mara Peres. Estudo de Estratégias para Geração de Dados de Teste. 1994. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
10. Roberval Machado Cristino. Estudo sobre a Lineridade de Predicados Encontrados em Caminhos Durante o Teste Estrutural de Programas. 1994. Iniciação Científica. (Graduando em Informatica) - Universidade Federal do Paraná. Orientador: Silvia Regina Vergilio.
11. Marcelo Bernardes. Implementação de Rotinas para Apoiar a Geração de Dados de Teste. 1992. Iniciação Científica. (Graduando em Engenharia Eletrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
12. Marcelo Wolf. Recursos para Organização, Manipulação e Armazenamento de Informação Resultante da Execução de Teste de Programas. 1992. Iniciação Científica. (Graduando em Engenharia Eletrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Silvia Regina Vergilio.
Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 4:39:06