Silvia Regina Vergilio

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 Titular 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, teste de linha de produto de sofwtare, otimização multi-objetivo, engenharia de software baseada em busca.

Informações coletadas do Lattes em 23/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica

1992 - 1997

Universidade Estadual de Campinas
Título: Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste mais Eficazes
Orientador: em Purdue University ( Aditya Mathur)
com José Carlos Maldonado. Coorientador: Mario Jino. 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 TerraGrande Á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.

Mestrado em Engenharia Elétrica

1989 - 1992

Universidade Estadual de Campinas
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
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 TerraGrande Á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.

Especialização em Especialização em Psicologia Analítica

2013 - 2014

Pontifícia Universidade Católica do Paraná
Título: Orientação Vocacional: Reflexões a partir da Psicologia Analítica
Orientador: Rudinalva Alves

Graduação em Bacharelado em Psicologia

2006 - 2010

Universidade Federal do Paraná
Título: As reuniões mediúnicas e suas relações com a Psicologia
Orientador: Adriano Furtado Holanda

Graduação em Bacharelado em Ciencias da Computacao

1985 - 1988

Universidade de São Paulo

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Italiano

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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.

Seção coletada automaticamente pelo Escavador

Organização de eventos

VERGILIO, S. R. . V Simpósio Brasileiro de Linguagens de Programação. 2001. (Congresso).

DUARTE JR., E. P. ; VERGILIO, S. R. . II WTTF - Workshop de Testes e Tolerância a Falhas. 2000. (Outro).

VERGILIO, S. R. . III Workshop de Teses em Engenharia de Software. 1998. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

IX Congresso Brasileiro de Software (CBSoft). Uma proposta de geração automática de algoritmos de reatoração. 2018. (Congresso).

Congresso Brasileiro de Desenvolvimento de Software. Automatic Generation of Search-Based Algorithms Applied to the Feature Testing of Software Product Lines. 2017. (Congresso).

Congresso Brasileiro de Desenvolvimento de Software. Grupo de Pesquisa em Engenharia de Software - GRES, UFPR. 2016. (Congresso).

Congresso Brasileiro de Desenvolvimento de Software (CBSoft). A Mutation and Multi-Objective Test Data Generation Approach for Feature Testing of Software Product Lines. 2015. (Congresso).

6th International Symposium, SSBSE 2014.Applying Design Patterns in Search Based Design of Software Product Lines. 2014. (Simpósio).

Congresso Brasileiro de Desenvolvimento de Software. 2014. (Congresso).

the 18th International Software Product Line Conference. A search based approach for software product line design. 2014. (Congresso).

Symposium on Search-Based Software Engineering (SSBSE),. 2013. (Simpósio).

Congresso Brasileiro de Desenvolvimento de Software: Teoria e Prática. Tutorial sobre Geração de Dados de Teste. 2012. (Congresso).

Genetic and Evolutionary Computation Conference. 2012. (Congresso).

Congresso Brasileiro de Desenvolvimento de Software: Teoria e Prática. 2010. (Congresso).

International Conference on Software Test and Technology. 2010. (Congresso).

Simpósio Brasileiro de Métodos Formais. 2009. (Simpósio).

Simposio Brasilleiro de Engenharia de Software. 2008. (Simpósio).

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

Simpósio Brasileiro de Engenharia de Software.ValiMPI: Uma Ferramenta para Teste de Programas Paralelos. 2006. (Simpósio).

Simpósio Brasleiro de Redes de Computadores - Workshop de Teste e Tolerância a Falhas.Applying Mutation Testing in Prolog Programs. 2006. (Simpósio).

6th IEEE Latin American Test Workshop. 6th IEEE Latin American Test Workshop. 2005. (Congresso).

Software Engineering an Knowledge Engineering SEKE. TDSGen: An Environment Based on Hybrid Genetic Algorithms fo Generation of Test Data. 2005. (Congresso).

XVI Simpósio Brasileiro de Engenharia de Software.XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).

III European Software Measurement Conference. III European Software Measurement Conference. 2000. (Congresso).

II Workshop de Tolerância a Falhas.II Workshop de Teste e Tolerância a Falhas. 2000. (Outra).

XII Simpósio Brasileiro de Engenharia de Software.XII Simpósio Brasileiro de Engenharia de Software. 1998. (Simpósio).

XVIII Congresso da SBC. XVIII Congresso da SBC. 1998. (Congresso).

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

.ASM96 - Conference. 1996. (Outra).

ISSRE-International Symposiun on Software Reliability.ISSRE-International Symposiun on Software Reliability. 1996. (Simpósio).

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

VI Simpósio Brasileiro de Engenharia de Software.VI Simpósio Brasileiro de Engenharia de Software. 1992. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Diogo Machado de Freita

LEITAO JUNIOR, P. S.; CAMILO JUNIOR, C. G.; SOARES, A. S.;VERGILIO, SILVIA R.. Geração Evolucionária de Heurísticas para Localização de Defeitos de Software. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: João Paulo de Freitas Diniz

FIGUEIREDO, E. M. L.; KASTNER, C.; VALENTE, M. T. O.;VERGILIO, S. R.. Fostering Mutation Testing with Variability-Aware Execution. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Angela Cristina Pereira

SECA NETO, A. G. S.; PIMENTEL, A. R.;VERGILIO, S. R.. Using NLP to generate user stories from software specification in natural language. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Yenisei Delgado Verdecia

Colanzi, T.E.; LEAL, G. C. L.;VERGILIO, S. R.. Expansão de um modelo de avaliação de arquitetura de linha de produto de software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Maringá.

Aluno: Gian Fritsche

POZO, A.; HERMIDA, R. S.;Vergilio, S. R.. Hyper-Heuristic Particle Swarm Optimization for Many-objective Problems. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Bárbara Castanheira

FABBRI, S. C. P.;VERGILIO, SILVIA R.; FERRARI, F. C.. Um estudo sobre os requisitos da norma UL 1998 no nível de modelagem de sistemas embarcados. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Thiago do Nascimento Ferreira

VERGILIO, S. R.; MAIA, P. H. M.;SOUZA, J.. Abordagens Interativas usando Algoritmo de Otimização por Colônia de Formigas para o problema do próximo release. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Estadual do Ceará.

Aluno: Carlos Matheus de Melo Leite

FABBRI, S. C. P.; FERRARI, F. C.;VERGILIO, S. R.. Evoluindo o Arcabouço de Conhecimento e Melhoria de Processo de Teste Kitest. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Itelvina Silva de Oliveira

EMER, M. C.Vergilio, S. R.; BASTOS, L. C.; KOZIEVITCH, N. P.. Teste Baseado em Defeitos para Ambientes Data Warehouse. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Aluno: Vinícius Pereira

PRADO, A. F.; DELAMARO, M. E.;Vergilio, S. R.. Desenvolvimento Ágil para Groupware na Web 2.0. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Gilmar Ferreira Arantes

LEITAO JUNIOR, P. S.; VINCENZI, A. M. R.;VERGILIO, S. R.. Uma Estratégia para a Avaliação e Evolução de Teste Funcional de Software. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Fabio Roberto Octaviano

VERGILIO, S. R.; Camargo, W. V.; FABBRI, S. C. P.. 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.

Aluno: Silvia Lopes Santa Isabel

TRAVASSOS, G.; WERNER, C.;Vergilio, S. R.. 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.

Aluno: Maria Adelina Silva Brito

Vergilio, S. R.; Masiero, P.C.;SOUZA, S. R. S.. 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.

Aluno: Cristian Simons

Paraiso, E.C.; Koerich, A.L.; Reinehr, S.;VERGILIO, S. R.. 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á.

Aluno: Diogo Nascimento Campanha

MALDONADO, J. C.; DELAMARO, M. E.;VERGILIO, S. R.. 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.

Aluno: Diogo Nascimento Campanha

MALDONADO, J. C.; DELAMARO, M. E.;VERGILIO, S. R.. 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.

Aluno: Felipe Santos Sarmanho

SOUZA, P.; Nandamudi, V.;Vergilio, S. R.. 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.

Aluno: Tiago Lopes Gonçalves

VERGILIO, S. R.; Huzita, E.H.M.; GIMENES, I.. 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á.

Aluno: Daniel Guerreiro e Silva

VERGILIO, S. R.JINO, M.; Attux, R.R.F.. 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.

Aluno: Augusto Silva Torácio

MONARD, C.;VERGILIO, S. R.; POZO, A. R. T.. 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á.

Aluno: Aldo Monteiro do Nascimento

Laender, A.H.F.;Vergilio, S. R.; HARA, C. S.. 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á.

Aluno: André Takeshi Endo

Vergilio, S. R.SOUZA, S. R. S.SIMAO, A. S.. 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.

Aluno: Paulo Silveira

Vergilio, S. R.; Silva, F.S.C.; Melo, A.C.V.. 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.

Aluno: Andre Murbach Maidl

Bigonha, R.S.;Vergilio, S. R.MUSICANTE, M.. 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á.

Aluno: Marcos Aurelio Carrero

VERGILIO, S. R.MUSICANTE, M.; PIRES, P.. Um Sistema de Tempo de Execução para a Linguagem Pews. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Bruno Teixeira de Abreu

VERGILIO, S. R.; Anido, R.; Martins, E.. 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.

Aluno: Karina Kyomi Kawai

VERGILIO, S. R.; SANCHES, R.; FABBRI, S. C. P.. 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.

Aluno: Rubens Barbosa Filho

VERGILIO, S. R.; POZO, A. R. T.; NIEVOLA, J. C.. MULTIPBIL: Um algoritmo de estimacao de distribuicao aplicado a problemas de otimizacao multimodais. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Raphael Marcilio de Souza Neto

VERGILIO, S. R.; BIAJIZ, M.; PRADO, A. F.. 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.

Aluno: Adriana Carnielo

VERGILIO, S. R.JINO, M.; VILELA, P. R.; DALTRINI, B. M.; GUDWIN, R.. Teste Baseado na Estrutura de Casos de Uso. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Andreia Carniello

VERGILIO, S. R.; DALTRINI, B. M.;JINO, M.; VILELA, P. R.; GUDWIN, R.. Instrumentação Configurável e Incremental de Programas. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Tyciano Maia Ribeiro

VERGILIO, S. R.; SANCHES, R.; FORTES, R. P. M.. 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.

Aluno: Denerval Mendez Batista

BIAJIZ, M.;VERGILIO, S. R.; DELAMARO, M. E.; SPOTO, E. S.. 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á.

Aluno: Carla Tiaki Utsunomiya

SPOTO, E. S.;VERGILIO, S. R.; DELAMARO, M. E.. Métricas Orientadas a Objeto Aplicadas ao Código Objeto Java. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Ernesto Rodrigues Malta

COSTA, A. C.;VERGILIO, S. R.MUSICANTE, M.; POZO, A. R. T.. 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á.

Aluno: Glaucio Giuliano Brogini

VERGILIO, S. R.; SANCHES, R.; FABBRI, S. C. P.. 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.

Aluno: Fábio Mendonça Lopes

STEINER, M. T. A.;VERGILIO, S. R.; POZO, A. R. T.. 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á.

Aluno: Ademir Morgenstern Padilha

VERGILIO, S. R.; CORTES, M. L.; WAINER, J.. 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.

Aluno: Mozart Hasse

FREITAS, A. A.;VERGILIO, S. R.; POZO, A. R. T.. Mineração de Dados Usando Algoritmos Genéticos. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Jaylson Teixeira

MEIRA, S.;VERGILIO, S. R.MUSICANTE, M.; SUGA, N.. Método para Gerenciamento de Pequenos Projetos de Software. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Paola Gourlart Rosa

PENTEADO, R.;VERGILIO, S. R.; SANCHES, R.. 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.

Aluno: Fábio Farzat

TRAVASSOS, G.;BARROS, M.O.VERGILIO, S. R.; MURTA, L. G. P.; PIRES, P. F.; OLIVEIRA, T. C.. Otimização para reduzir o tamanho de código-fonte Javascript. 2018. Tese (Doutorado em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Faimison Rodrigues Porto

SIMAO, A. S.; CARVALHO, A. C. P. L. F.;SOUZA, S. R. S.; RE, R.;VERGILIO, S. R.. Predição de defietos cruzada entre projetos apoiado por meta-aprenfizado. 2017. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Maicon Bernardino da Silveira

ZORZO, A.; BORDINI, R. H.;SIMAO, A. S.VERGILIO, SILVIA R.. Canopus: A domain-specific language for modeling performance testing. 2016. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Anderson Belgamo

VERGILIO, S. R.; MENDONCA, M.; FERRARI, F. C.; FABBRI, S. C. P.. Técnicas de Leitura Baseadas em Métricas e Visualização para Inspeção de Código com Suporte Computacional. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Edenilson José da Silva

Paraiso, E.C.; NIEVOLA, J. C.; MALUCELLI, A.;VERGILIO, S. R.; RAMOS, M. P.. Workspace Semântico: Integrando Artefatos e Desenvolvedores no Desenvolvimento de Software. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Paulo Marcos Siqueira Bueno

CHAIM, M. L.Vergilio, S. R.; Martins, E.; ZUBEN, F. J. V.;JINO, M.. Geração de Dados de Teste Orientada à Diversidade com o Uso de Meta-Heurísticas. 2012.

Aluno: Luciane Telinski Wiedermann Agner

Stadzisz, P.C.;QUINAIA, M.Vergilio, S. R.; Koscianski, A.; TACLA, C. A.. PI-MT: UM Método para a Criação de Transformações de Modelos no Contexto de MDA. 2012. Tese (Doutorado em Engneharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Parná.

Aluno: Plácido Antônio de Souza Neto

MUSICANTE, M.; LUCENA, M. J. N. R.; SOLAR, G.V.;Vergilio, S. R.; CASTRO, V.; SOUTO, N. R.. A Methodology for Building Service-Oriented Applications in the Presence of NOn-Functional Properties. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Thase Yano

Martins, E.;Vergilio, S. R.; Francisco, M.F.M.; Xavier, E.C.;JINO, M.. 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.

Aluno: Fabiano Cutigi Ferrari

MALDONADO, J. C.VERGILIO, S. R.; BARBOSA, E.F.; TRAVASSOS, G.; STAA, A.v.. 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.

Aluno: Arilo Claudio Dias Neto

VERGILIO, S. R.BARROS, M.O.; WERNER, C.; ROCHA, A.R.; TRAVASSOS, G.. 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.

Aluno: Andrea Weber

Macedo, R..J.A.; Westphall, C.B.;Vergilio, S. R.; WILLLE, E. C. G.; DUARTE JR., E. P.. 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á.

Aluno: Plinio de Sá Leitão Junior

VERGILIO, S. R.CHAIM, M. L.; RICARTE, I. L. M.;JINO, M.; MAGALHAES, L. P.; MARTINI, J. M.. Teste Baseado na Interação entre Regras Ativas Escritas em SQL. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Edmundo Sérgio Spoto

VILELA, P. R.;VERGILIO, S. R.; PRADO, A. F.; NUNES, I. R.; GUDWIN, R.;JINO, M.MALDONADO, J. C.. 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.

Aluno: João Batista de Souza Neto

MOREIRA, A.M.; SOLAR, G.V.;MUSICANTE, M.VERGILIO, S. R.; COSTA, U. S.. Uma abordagem para teste de mutação de programas de processamento de Big Data. 2019. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Thalista Scharr Rodrigues Pimenta

GREGIO, A. R. A.; SANTOS, R. D. C.;VERGILIO, S. R.. Classificação de malware utilizando modelso filogenéticos. 2019. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Eliane Maria de Bortoli Fávero

PIMENTEL, A. R.; Paraiso, E.C.; FABRO, M. D.;VERGILIO, S. R.. Um modelo para estmativa de esforço de softare por analogia baseado em artefatos textuais de requisitos. 2018. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Lucília Yoshie Araki

PERES, L. M.; SPOTO, E. S.;EMER, M. C.VERGILIO, S. R.. Uma abordagem para a geração de dados de teste utilizando o teste concolic para a cobertura de critérios de fluxo de dados. 2018. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Rodolfo Adamshuk

MALDONADO, J. C.; DELAMARO, M. E.;VERGILIO, S. R.. Uso de search-based software testing para otimizar o teste de mutação aplicado a programas concorrentes. 2014. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Faimison Rodrigues Porto

BARBOSA, E.F.; RODRIGUES, F.;Vergilio, S. R.. Investiga ção de teste de software sob a perspectiva da teoria de redes complexas. 2014. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Edenilson José da Silva

Paraiso, E.C.; NIEVOLA, J. C.; MALUCELLI, A.; SCALABRIN, E. E.;Vergilio, S. R.. Workspace Semântico: Integrando Artefatos e Desenvolvedores no Ambiente Colaborativo de Desenvolvimento de Software. 2013. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Plácido Antônio de Souza Neto

MOREIRA, A.M.; SOLAR, G.V.;Vergilio, S. R.MUSICANTE, M.. 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.

Aluno: Luciane Telinski Wiedermann Agner

Stadzisz, P.C.;VERGILIO, S. R.; Koscianski, A.; Simão, J.M.. 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á.

Aluno: Angela Cristina Pereira

PIMENTEL, A. R.;VERGILIO, S. R.; FABRO, M. D.. Extração automática de Histórias de Usuário em Features. 2017. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Gian Maurício Fritsche

GONCALVES, R. A.;VERGILIO, S. R.POZO, A.. Algoritmo de Otimização por Exame de Partículas Many-objetivo Baseado em Hiper-heurística. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Wilian Fernando Stancke

MALUCELLI, A.; Paraiso, E.C.; REINEHR, S. S.;Vergilio, S. R.. Proposta de um Processo de Software Baseado na UML Executável para Desenvolvimento de Aplciativos para a Web. 2014. Exame de qualificação (Mestrando em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Leonardo Bezerra Silva Junior

SILVA, L. M. A. E.; COSTA NETO, A.;Carvalho, A. B.VERGILIO, S. R.. Aplicando Algoritmos de Busca para Realizar a Refatoração de Software Objetivando a Manutenibilidade. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Daiany Francisca Lara

Carvalho, A. B.Vergilio, S. R.POZO, A.. Classificação com Bases Desbalanceadas. 2012. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Paulo Roberto Farah

VERGILIO, S. R.; GODOY JUNIOR, W.. 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á.

Aluno: Werner Monterio Weller

VERGILIO, S. R.; GODOY JUNIOR, W.. 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á.

Aluno: Donei L

VERGILIO, S. R.; CARVALHO, C. A. P.. Andretta. Migração de Paradigma Estruturado para Orientado a Objeto. 1994. Monografia (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná.

Aluno: Marcelo G

VERGILIO, S. R.; CARVALHO, C. A. P.. Spoladore. Case como ferramenta de desenvolvimento. 1994. Monografia (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná.

Aluno: Henrique Varella Ehrenfried

PIMENTEL, A. R.;VERGILIO, S. R.; GARCIA, L. S.. Extração de Possíveis Casos de Uso de Textos Escritos Usando Linguagem Natural. 2016. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Federal do Paraná.

Aluno: Aline Wolpert dos Santos/Aylana Fernanda Nicoletti

Vergilio, S. R.; DIRENE, A. I.; HARA, C. S.. 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á.

Aluno: Frantchesco Cecchin

GARCIA, L. S.;Vergilio, S. R.; HARA, C. S.. 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á.

Aluno: Cassiano Beltrame/Gisele Munhos/Thiago Prado

Vergilio, S. R.; DIRENE, A. I.; HARA, C. S.. 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á.

Aluno: Gabriel dos Santos

VERGILIO, S. R.; FREITAS, A. C.; SUGA, N.. 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á.

Aluno: Alessandro N

SUNYE, M.;VERGILIO, S. R.; HARA, C. S.. 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á.

Aluno: Auréo A

VERGILIO, S. R.; HARA, C. S.;MUSICANTE, M.. 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á.

Aluno: Fernando Feltrin/Sandro J

VERGILIO, S. R.; FREITAS, A. C.; HEXSEL, R. A.. 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á.

Aluno: Davi M

VERGILIO, S. R.; FREITAS, A. C.; SUGA, N.. 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á.

Aluno: Alessandro R

HARA, C. S.;VERGILIO, S. R.MUSICANTE, M.. 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á.

Aluno: Angelo Binnack/Lidiane S

VERGILIO, S. R.. 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á.

Aluno: Fabio H

VERGILIO, S. R.; POZO, A. R. T.;MUSICANTE, M.. 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á.

Aluno: Annelisa P

VERGILIO, S. R.; POZO, A. R. T.;MUSICANTE, M.. 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á.

Aluno: Marcelo M

SUNYE, M.;VERGILIO, S. R.; F. JUNIOR, S. S.. 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á.

Aluno: Sandra Balthazar

VERGILIO, S. R.; POZO, A. R. T.; URBAN, A. E.. 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á.

Aluno: Lucas Somavilla/Melita G

VERGILIO, S. R.; SUNYE, M.; MULLER JUNIOR, B.. 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á.

Aluno: Abdrea C

ALVES, M. H. V.;VERGILIO, S. R.; PRETO, T. M.. Ayres/Marcelo B. Giacomel.Multimídia/Banco de Dados. 1997. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.

Aluno: Arnaldo L

VERGILIO, S. R.; MURTA, C. D.; DELGADO, A. L. N.. 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á.

Aluno: Cleverson Orlando Cachoeira

CASTILHO, M.;VERGILIO, S. R.; BORGES NETO, J.. 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á.

Aluno: Débora Cristiane Pizzato

CLARO FILHO, O.;VERGILIO, S. R.; MULLER JUNIOR, B.. Modelo Cliente-Servidor: Enfoque em Banco de Dados. 1993. Trabalho de Conclusão de Curso (Graduação em Informatica) - Universidade Federal do Paraná.

VERGILIO, SILVIA R.; POHL, A. A. P.;MUSICANTE, M.; JULIA, R. M. S.. Avaliaação do memorial descritivo - Myriam Regattieri de Biase da Silva Delgado. 2018. Universidade Tecnológica Federal do Parná.

FORCELILINI, F. A.; PEREIRA, C. E.; ROZENFELD, H.;VERGILIO, S. R.. Comissão avaliadora de Memorial da Avaliação de Desempenho. 2016. Universidade Federal de Santa Catarina.

ZORZO, S. D.; MELNIKOFF, S. S. S.; Huzita, E.H.M.;VERGILIO, S. R.; OLIVEIRA, M. C. F.. Comissão Especial de Avaliação para Promoção para Classe E. 2015. Universidade Federal de São Carlos.

ZORZO, S. D.; MELNIKOFF, S. S. S.; Huzita, E.H.M.;VERGILIO, S. R.; OLIVEIRA, M. C. F.. Comissão Especial de Avaliação para Promoção para Classe E. 2015. Universidade Federal de São Carlos.

VERGILIO, S. R.; NASSAR, S. M.; KAESTNER, C. A. A.; LOPES, H. S.. Comissão especial de defesa de memorial. 2015. Universidade Federal do Paraná.

VERGILIO, SILVIA R.. Memorial Descritivo - Tania Mezzadri. 2015. Universidade Tecnológica Federal do Parná.

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á.

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.

FREITAS, A. C.; DIRENE, A. I.;VERGILIO, S. R.. Teste Seletivo para Professor Substituto. 2000. Universidade Federal do Paraná.

VERGILIO, S. R.; VILELA, P. R.; GIMENES, I.. Concurso Unificado para Professor Não Titular. 1997. Universidade Estadual de Maringá.

VERGILIO, S. R.; R.CARVALHO, A. M.; ZUBEN, F. J. V.. Concurso Unificado para Professor não Titular. 1996. Universidade Estadual de Maringá.

VERGILIO, S. R.; PARANHOS, W.. Concurso Público de Provas e Títulos para Professor Auxiliar. 1994. Universidade Federal do Paraná.

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á.

GIMENES, I.;VERGILIO, S. R.; BASTANI, R. F.. Avaliação de Curso - Reconhecimento. 1995. Federacao de Estabelecimentos de Ensino Superior de Novo Hamburgo.

VERGILIO, S. R.; PIMENTEL, A. R.; ABREU, G. J. P.. Avaliação de Estágio Probatório Natasha Malveira Costa Valentim. 2018. Universidade Federal do Paraná.

VERGILIO, SILVIA. Banca Julgadora do SIEPE. 2017. Universidade Federal do Paraná.

Carmos, R.J.S.;Vergilio, S. R.; SANTOS, A. L.. Teste seletivo para professor substituto. 2014. Universidade Federal do Paraná.

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á.

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á.

MURTA, C. D.;VERGILIO, S. R.. Comissão de Seleção de Monitores. 2000. Universidade Federal do Paraná.

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á.

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á.

MURTA, C. D.;VERGILIO, S. R.. Comissão de Seleção de Monitores. 1994. Universidade Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Joanneliese de Lucas Freitas

Holanda, A. F.Freitas, J. L.; Araujo, S. L.. Reuniões mediúnicas e suas relações com a psicologia. 2009. Trabalho de Conclusão de Curso (Graduação em psicologia) - Universidade Federal do Paraná.

Marco Aurelio Amaral Henriques

Daltrini, Beatriz MasciaAmaral Henriques, M. A.Jino, Mario. Criterios Restritos de Teste de Software: uma Contribuição para Gerar Dados de Teste mais Eficazes. 1997. Tese (Doutorado em Sem Informação) - Universidade Estadual de Campinas.

Marco Aurelio Amaral Henriques

Amaral Henriques, M. A.. Criterios Restritos de Teste de Software: Uma Contribuicao para Gerar Dados de Teste mais Eficazes. 1997. Exame de qualificação (Doutorando em Sem Informação) - Universidade Estadual de Campinas.

Seção coletada automaticamente pelo Escavador

Orientou

Henrique Neves da Silva

Teste de aplicações móveis; Início: 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná; (Orientador);

Paulo Roberto Farah

Aprendizado de Máquina aplicado a Refatoração de software; Início: 2018; Tese (Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Willian Douglas Ferrari

Reúso de Teste no contexto de Linha de Produto de Software; Início: 2018; Tese (Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Jackson Antonio do Prado Lima

Aplicação de hiperheurisiticas no teste de software; Início: 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Helson Jakubovski Filho

Incorporando preferências do usuário em uma abordagem de teste de linha de produto de software baseada em otimização multiobjetivo; 2018; 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;

Jackson Antonio do Prado Lima

Uma abordagem baseada em hiper-heuriitica e otimização multi-objetivo para o teste de mutação de ordem superior; 2016; 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;

VINICIUS RENAN DE CARVALHO

Uma Hiper-heurística de seleção baseada em decomposição para estabelecer sequncias de módulos para o teste de software; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Silvia Regina Vergilio;

Rui Angelo Matnei Filho

Gerando dados para o teste de mutação de Linha de Produto de Software com algoritmos de otimização multiobjetivos; 2015; 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;

Thainá Mariani

Preservando o Estilo Arquitetural no Projeto Baseado em Busca de Linha de Produto de Software; 2015; 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;

Giovani Guizzo

Uso de Padrões em Projeto Arquitetural Baseado em Busca de Linha de Produto de Software; 2014; 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;

Édipo Luis Féderle

Uma Ferramenta de apoio ao Projeto Arquitetural de Linha de Produto de Software Baseado em Busca; 2014; 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;

Johnny Maikeo Ferreira

Teste de Linha de Produto de Software Baseado em Mutaçao do Diagrama de Caractersiticas; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Silvia Regina Vergilio;

Wesley Kleverton Guez Assunção

Uma Abordagem para Integração e Teste de Módulos Baseada em Agrupamento e Algoritmos Multiobjetivos; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Silvia Regina Vergilio;

Edison Klafke Fillus

CAAMPI: Uma abordagem baseada em técnicas de agrupamento para mineração de aspectos e identificação de pontos de corte; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Silvia Regina Vergilio;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Maria Claudia 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;

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;

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;

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;

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;

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;

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;

Letícia 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;

Thainá Mariani

GENERATION OF REFACTORING ALGORITHMS THROUGH GRAMMATICAL EVOLUTION; 2020; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Silvia Regina Vergilio;

Thiago Nascimento Ferreira

Preference-Based Approach for Reducing the Number of Objectives Applied to the Variability Testing of Software Product Lines; 2019; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Silvia Regina Vergilio;

Giovani Guizzo

A Multi-Objective Hyper-Heuristic Approach for the Automatic Generation of Mutant Reduction Strategies; 2018; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Silvia Regina Vergilio;

Wesley K

G; Assunção; ModelVars2SPL: An Automated Approach to Reengineer Model Variants into Software Product Lines; 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Silvia Regina Vergilio;

Thelma Elita Colanzi Lopes

Uma abordagem de otimização multi-objetivo para projeto arquitetural de linha de produto de software; 2014; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Silvia Regina Vergilio;

Maria Cláudia 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; Coorientador: Silvia Regina Vergilio;

Marcos Quinaia

2013; Universidade Federal do Paraná, Fundacao Araucaria; Silvia Regina Vergilio;

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;

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;

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;

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;

Claudio H

Goedicke; Comércio Eletrônico; 2003; Monografia; (Aperfeiçoamento/Especialização em Informática) - Universidade Federal do Paraná; Orientador: Silvia Regina Vergilio;

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;

Claudio 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Renato Suga

Anaise de Mutantes e XML; 2004; Trabalho de Conclusão de Curso; (Graduação em Informatica) - Universidade Federal do Paraná; Orientador: Silvia Regina Vergilio;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Letícia 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;

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;

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;

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;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Mario Jino

Caminhos não-Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Prrogramas; 1992; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Mario Jino;

Mario Jino

Critérios Restritos de Teste de Software: Uma Contribuição para Gerar Dados de Teste mais Eficazes; 1997; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Mario Jino;

Maria Carolina Monard

Técnicas de Processamento para Linguagem Natural; 1988; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Maria Carolina Monard;

José Carlos Maldonado

Caminhos Não-Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas; 1992; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Jose Carlos Maldonado;

José Carlos Maldonado

Critérios Restritos: Uma Contribuição para aprimorar a Eficácia da Atividade de Teste de Software; 1997; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Jose Carlos Maldonado;

Alessandro Fabricio Garcia

Início: 2019; Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico;

Adriano Furtado Holanda

As Reuniões Mediúnicas e suas Relações com a Psicologia; 2009; Monografia; (Aperfeiçoamento/Especialização em Psicologia) - Universidade Federal do Paraná; Orientador: Adriano Furtado Holanda;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ASSUNCAO, W. K. G. ; VERGILIO, S. R. ; LOPEZ-HERREJON, R. E. . Automatic extraction of product line architecture and feature models from UML class diagram variants. INFORMATION AND SOFTWARE TECHNOLOGY , v. 117, p. 106198-138, 2020.

  • LIMA, J. A. P. ; VERGILIO, S. R. . Test Case Prioritization in Continuous Integration environments: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 121, p. 106268, 2020.

  • FILHO, HELSON LUIZ JAKUBOVSKI ; FERREIRA, THIAGO NASCIMENTO ; Vergilio, Silvia Regina . Preference Based Multi-Objective Algorithms Applied to the Variability Testing of Software Product Lines. JOURNAL OF SYSTEMS AND SOFTWARE , v. 151, p. 194-209, 2019.

  • LIMA, J. A. P. ; VERGILIO, S. R. . A systematic mapping study on Higher Order Mutation Testing. JOURNAL OF SYSTEMS AND SOFTWARE , v. 154, p. 92-109, 2019.

  • GUIZZO, GIOVANI ; Colanzi, Thelma Elita ; Vergilio, Silvia Regina . Applying design patterns in the search-based optimization of software product line architectures. Software and Systems Modeling , v. 1, p. 1-26, 2018.

  • GUIZZO, G. ; VERGILIO, S. R. . A pattern-driven solution for designing multi-objective evolutionary algorithms. Natural Computing , p. 1, 2018.

  • BARROS, MÁRCIO DE OLIVEIRA ; Vergilio, Silvia Regina ; HARMAN, MARK . Guest Editorial Special Issue on Search-based Software Engineering. IET Software , v. 12, p. 291-292, 2018.

  • FERREIRA, J. M. ; QUINAIA, M. ; VERGILIO, S. R. . Software Product Line Testing Based on Feature Model Mutation. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , v. 27, p. 817-839, 2017.

  • MARIANI, T. ; VERGILIO, S. R. . A systematic review on search-based refactoring. INFORMATION AND SOFTWARE TECHNOLOGY , v. 83, p. 14-34, 2017.

  • GUIZZO, G. ; VERGILIO, SILVIA R. ; POZO, A. ; FRITSCHE, GIAN MAURICIO . A Multi-Objective and Evolutionary Hyper-Heuristic Applied to the Integration and Test Order Problem. APPLIED SOFT COMPUTING , v. 56, p. 331-334, 2017.

  • FERREIRA, T. N. ; LIMA, J. A. P. ; STRICKLER, A. ; KULK, J. ; VERGILIO, SILVIA R. ; POZO, A. . Hyper-Heuristic Based Product Selection for Software Product Line Testing. IEEE Computational Intelligence Magazine , v. 12, p. 34-45, 2017.

  • Assunção, Wesley K. G. ; LOPEZ-HERREJON, ROBERTO E. ; LINSBAUER, LUKAS ; VERGILIO, SILVIA R. ; EGYED, ALEXANDER . Multi-objective reverse engineering of variability-safe feature models based on code dependencies of system variants. EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE) , v. 22, p. 1763-1794, 2017.

  • FERREIRA, THIAGO NASCIMENTO ; Vergilio, Silvia Regina ; DE SOUZA, JERFFESON TEIXEIRA . Incorporating user preferences in search-based software engineering: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 90, p. 55-69, 2017.

  • Assunção, Wesley K. G. ; LOPEZ-HERREJON, ROBERTO E. ; LINSBAUER, LUKAS ; VERGILIO, SILVIA R. ; EGYED, ALEXANDER . Reengineering legacy applications into software product lines: a systematic mapping. EMPIRICAL SOFTWARE ENGINEERING , v. 22, p. 2972-3016, 2017.

  • CAIUTA, RAFAEL ; Pozo, Aurora ; Vergilio, Silvia Regina . Meta-learning based selection of software reliability models. Automated Software Engineering , v. 24, p. 575-602, 2017.

  • MARIANI, T. ; VERGILIO, S. R. ; Colanzi, T.E. . Preserving Architectural Styles in the Search Based Design of Software Product Line Architectures. The Journal of Systems and Software , v. 115, p. 157-173, 2016.

  • Colanzi, T.E. ; VERGILIO, S. R. . A feature-driven crossover operator for multi-objective and evolutionary optimization of product line architectures. The Journal of Systems and Software , v. 121, p. 126-143, 2016.

  • MATNEI FILHO, R. ; VERGILIO, S. R. . A multi-objective test data generation approach for mutation testing of feature models. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 4, p. 1-29, 2016.

  • STRICKLER, A. ; LIMA, J. A. P. ; VERGILIO, SILVIA R. ; POZO, A. R. T. . Deriving products for variability test of Feature Models with a hyper-heuristic approach. Applied Soft Computing (Print) , p. 1232-1242, 2016.

  • QUINAIA, M. ; FERREIRA, J. M. ; VERGILIO, S. R. . Teste de Linha de Produto de Software Baseado em Mutação de Variabilidades. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 21, p. 127-147, 2014.

  • ASSUNCAO, W. K. G. ; Colanzi, T.E. ; VERGILIO, S. R. ; POZO, A. . Evaluating different strategies for integration testing of aspect-oriented programs. Journal of The Brazilian Computer Society (Online) , v. 20, p. 9, 2014.

  • ASSUNCAO, W. K. G. ; Colanzi, T.E. ; VERGILIO, S. R. ; POZO, A. . A multi-objective optimization approach for the integration and test order problem. Information Sciences , v. 267, p. 119-139, 2014.

  • ASSUNCAO, W. K. G. ; BARROS, M.O. ; Colanzi, T.E. ; DIAS NETO, A. C. ; PAIXAO, M. H. ; SOUZA, J. ; Vergilio, S. R. . A mapping study of the Brazilian SBSE community. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 2, p. 3-18, 2014.

  • Colanzi, T.E. ; ASSUNCAO, W. K. G. ; Trindade, D.F. G. ; Zorzo, C.A. ; Vergilio, S. R. . Evaluating Different Strategies for Testing Software Product Lines. Journal of Electronic Testing (Dordrecht. Online) , v. 29, p. 9-24, 2013.

  • ASSUNCAO, W. K. G. ; Colanzi, T.E. ; Vergilio, S. R. ; POZO, A. . Generating Integration Test Orders for Aspect Oriented Software with Multi-objective Algorithms. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 20, p. 301-327, 2013.

  • Lenz, A. R. ; Vergilio, S. R. ; POZO, A. . Linking software testing results with a machine learning approach. Engineering Applications of Artificial Intelligence , v. 27, p. 24, 2013.

  • Colanzi, Thelma Elita ; Vergilio, Silvia Regina ; Guez Assunção, Wesley Klewerton ; Pozo, Aurora . Search Based Software Engineering: Review and analysis of the field in Brazil. The Journal of Systems and Software , v. 86, p. 970-984, 2013.

  • SILVA, J.T. ; POZO, A. R. T. ; VERGILIO, S. R. ; MUSICANTE, M. . Search-Based Evolution of XML Schemas. Computing and Informatics , v. 31, p. 573-595, 2012.

  • BANZI, A. ; Nobre, T. ; Árias, J.C. ; PINHEIRO, G. B. ; Pozo, Aurora ; VERGILIO, S. R. . Selecting mutation operators with a multiobjective approach. Expert Systems with Applications , v. 39, p. 12131-12142, 2012.

  • VERGILIO, S. R. ; POZO, A. ; ARIAS, J. C. G. ; CABRAL, R. V. ; Nobre, T. . Multi-objective optimization algorithms applied to the class integration and test order problem. International Journal on Software Tools for Technology Transfer (Print) , v. 14, p. 461-475, 2012.

  • Nobre, T. ; Vergilio, S. R. ; POZO, A. . Reducing Interface Mutation Costs with Multiobjective Optimization Algorithms. International Journal of Natural Computing Research , v. 3, p. 21-40, 2012.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flow based testing. Journal of the Brazilian Computer Society (Impresso) , v. 1, p. 05, 2006.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.. Informacion Tecnologica , La Serena - Chile, v. 8, n.JANEIRO, p. 171-178, 1997.

Seção coletada automaticamente pelo Escavador

Outras produções

VERGILIO, S. R. . Consultor Ad-hoc - Pró-Reitoria de Pesquisa e Pós-Graduação - UEM. 2000.

VERGILIO, S. R. . Programa RHAE/CNPq - Edital 01/2000. 2000.

VERGILIO, S. R. . Projeto Cartão Nacional de Saúde - Ministério da Saúde. 2000.

VERGILIO, S. R. . Consultor Ad-hoc: Pró-Reitoria de Pesquisa e Pós-Graduação - UEM. 1999.

VERGILIO, S. R. . Consultoria Especializada - Pró-Reitoria de Pós-Graduação - UEM. 1998.

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.

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.

VERGILIO, S. R. . XVI Simpósio Brasileiro de Engenharia de Software. 2002.

VERGILIO, S. R. . IV IEEE Latin-American Test Workshop. 2002.

VERGILIO, S. R. . JAI - Jornada de Atualização em Informática. 2002.

VERGILIO, S. R. . XV Simposio Brasileiro de Engenharia de Software. 2001.

VERGILIO, S. R. . III IEEE Latin-American Test Workshop. 2001.

VERGILIO, S. R. . XI Conferência Internacional de Tecnologia de Sotware. 2000.

VERGILIO, S. R. . XIV Simpósio Brasileiro de Engenharia de Software. 2000.

VERGILIO, S. R. . II Workshop de Testes e Tolerância a Falhas. 2000.

VERGILIO, S. R. . X Conferência Internacional de Tecnologia de Software. 1999.

VERGILIO, S. R. . XIII Simpósio Brasileiro de Engenharia de Software. 1999.

VERGILIO, S. R. . IX Conferência Internacional de Tecnologia de Software. 1998.

VERGILIO, S. R. . XII Simpósio Brasileiro de Engenharia de Softawe. 1998.

VERGILIO, S. R. . WQS-98: Workshop de Qualidade de Software. 1998.

VERGILIO, S. R. . CNS97 - Chamada Nacional Softex97. 1997.

VERGILIO, S. R. . VIII Conferência Internacional de Tecnologia de Software. 1997.

VERGILIO, S. R. ; SOUZA, S. R. S. . III Brazilian Worskshop on Automated Software Testing. 2009. (Editoração/Anais).

VERGILIO, S. R. . Testes de Software. 2001. (Curso de curta duração ministrado/Especialização).

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

VERGILIO, S. R. . Teste de Software. 2000. (Curso de curta duração ministrado/Especialização).

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

VERGILIO, S. R. . Métricas de Software. 1998. (Curso de curta duração ministrado/Especialização).

VERGILIO, S. R. . Teste e Confiabilidade de Software. 1997. (Curso de curta duração ministrado/Outra).

VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Estudo de Estratégias de Geração de Dadosde teste. 1997. (Relatório de pesquisa).

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

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

VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . An Experimental Evaluation of Different Testing Techniques. 1997. (Relatório de pesquisa).

VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Avaliação Empírica de Critérios Baseados em Restrições. 1997. (Relatório de pesquisa).

VERGILIO, S. R. . Testabilidade de Software. 1995. (Curso de curta duração ministrado/Especialização).

MATHUR, A. P. ; MALDONADO, J. C. ; VERGILIO, S. R. . Software Testing Reliability. 1995. (Curso de curta duração ministrado/Outra).

VERGILIO, S. R. . Banco de Dados. 1994. (Curso de curta duração ministrado/Extensão).

VERGILIO, S. R. . V Coletiva do Ateliê de Pintura Maria Alba Bosh. 2001. Pintura.

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2014 - Atual

    Hiper-Heurísticas para Algoritmos Bioinspirados Multiobjetivos e sua Aplicação em Engenharia de Software, Descrição: Atualmente, a indústria enfrenta múltiplas demandas por qualidade superior, baixo custo, maior segurança, entre outras. A vantagem competitiva só pode ser estabelecida através da concepção de produtos e processos que respondam por muitos destes objetivos de desempenho. Portanto, nestes problemas muitos objetivos precisam ser tratados simultaneamente. Otimização de Muitos Objetivos Página 1 de 5 (OMOs) consiste na otimização de problemas com muitos objetivos, isto é, Problemas Multiobjetivos (PM) com elevado número de objetivos conflitantes, geralmente mais de quatro. Em problemas como esses, os Algoritmos Bioinspirados (ABs), entre eles os Algoritmos Evolucionários Multiobjetivo (AEMs) se tornam pouco efetivos, entregando como resultado uma aproximação da Frente de Pareto (FP) que possui pouca convergência para a verdadeira FP e pouca diversidade nas soluções. OMOs é uma área nova, ainda pouco explorada, que tem como objetivo propor novos métodos para reduzir esta deterioração. Entre os ABs que podem ser destacados pelos seus bons resultados em PM estão àqueles baseados em Enxame de Partículas Multiobjetivo (Multi-Objective Particle Swarm Optimization, MOPSO). Assim, motivado por este campo de investigação, este trabalho tem por objetivo propor novos métodos para reduzir a deterioração na busca dos MOPSOs quando aplicados a problemas com muitos objetivos, obtendo uma melhor convergência e diversidade.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Silvia Regina Vergilio - Integrante / Aurora R. T. Pozo - Coordenador / GUIZZO, GIOVANI - Integrante / Richard Aderbal Gonçalves - Integrante.

  • 2014 - Atual

    Otimiza-PLA: otimização multiobjetivo de arquitetura de linha de produto de software, Projeto certificado pelo(a) coordenador(a) Thelma Elita Colanzi em 31/07/2018., Descrição: O projeto tem como objetivo a utilização de algoritmos evolutivos multiobjetivos para a otimização de arquiteturas de Linha de Produto de Sofware. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Integrante / Thelma E. Colanzi - Coordenador / OIZUMI, WILLIAN NALEPA - Integrante / Yenisei Delgado - Integrante / Edson Oliveira Júnior - Integrante / Alessandro Garcia - Integrante.

  • 2013 - 2017

    MultiPS: Utilização de algoritmos de otimização multi-objetivos no projeto e teste de software, Descrição: Este projeto tem como objetivo utilizar algoritmos de busca para otimizar arquitetura de linhas de produto de software (LPS), considerando métricas específicas de avaliação para este contexto e a aplicação automática de padrões de projeto, e de determinar um conjunto ótimo para realizar o teste de variabilidade de LPS.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Coordenador / Wesley K. G. Assunção - Integrante / Thelma E. Colanzi - Integrante / Aurora Pozo - Integrante / Giovani Guizzo - Integrante / Thaina Mariani - Integrante / Christopher L. Simons - Integrante / Roberto Erick Lopez-Herrejon - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2013 - 2016

    Algoritmos Multiobjetivos Bioinspirados: Novas Estratégias e Aplicações em Engenharia de Software., Projeto certificado pelo(a) coordenador(a) Aurora Trinidad Ramirez Pozo em 15/02/2019., Descrição: Este projeto foca pesquisa básica e aplicada na área da Computação Bioinspirada. A pesquisa básica enfoca um tema que atualmente representa um desafio: novos métodos para reduzir a deterioração na busca dos algoritmos baseados em Enxame de Partículas Multiobjetivo (Multi-Objective Particle Swarm Optimization, MOPSO) quando aplicados a problemas com muitos objetivos, melhorando a convergência e diversidade. O objetivo principal deste projeto é explorar as características singulares do MOPSO a fim de propor as novas abordagens, alguns temas como a seleção do líder, multi-enxames, novos métodos para armazenar os líderes no arquivo externo, serão focados. O trabalho também enfatiza a aplicação dos algoritmos multiobjetivos bioinspirados na área Engenharia de Software (ES), auxiliando no desenvolvimento e manutenção de Softwares. A execução do projeto compreende um conjunto de fases tais como, revisão de trabalhos da literatura, projeto, implementação e avaliação de algoritmos. Espera-se contribuir para o estado da arte na área relacionada em três direções principais: estudos teóricos, estudos empíricos e implementação de algoritmos.. Situação: Concluído; Natureza: Pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Integrante / Aurora Pozo - Coordenador / Arion de Campos Júnior - Integrante / Olacir Rodrigues - Integrante / Evelim Carla Ribeiro - Integrante.

  • 2009 - 2011

    Apoio ao Desenvolvimento de Software Baseado em Algoritmos Meta-heurísticos, Descrição: Este projeto tem como objetivo aplicar algoritmos de busca a algumas atividades de apoio ao desenvolvimento de software: avaliação da confiabilidade de software, teste e manutenção/refatoração de software.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Coordenador / Aurora Pozo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2006 - 2010

    ConTemp: Um ambiente para Avaliar a Confiabilidade de Software Utilizando Técnicas de mineração de dados temporal, Descrição: Aplicar algoritmos de busca na avaliação da confiabilidade de software, utilizando modelos baseados em tempo e em cobertura de critérios de teste.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Coordenador / Gustavo Ferreira de Souza - Integrante / Eduardo Oliveira Costa - Integrante / André B. Carvalho - Integrante / Aurora Pozo - Integrante / Alaine Guimarães - Integrante., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2004 - 2007

    EEXML: Evolução de Esquemas XML, Projeto certificado pelo(a) coordenador(a) Martin Alejandro Musicante em 27/07/2015., Descrição: O objetivo do projeto é obter algoritmos meta-heurísticos para evolução de esquemas XML. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Integrante / Inali W. Soares - Integrante / Aurora R. T. Pozo - Integrante / Martin Musicante - Coordenador / Luciane Telinsk - Integrante / Mirian Halfeld Viviane Alves - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2003 - 2006

    ValiPVM, 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: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Integrante / S. R. S. Souza - Coordenador / Alexandre Ceolin Hausen - Integrante / Thiago Biscosque Goncalves - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Estadual de Ponta Grossa - Cooperação / Universidade de São Paulo - Cooperação.

  • 2002 - 2005

    Chamaleon: Computação Evolucionária: Pesquisa Básica e Aplicações, 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: Concluído; Natureza: Pesquisa. , Integrantes: Silvia Regina Vergilio - Coordenador / 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., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2000 - 2003

    Sistemas de Apoio à Decisão: Aspectos Teóricos e Aplicados, 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: Silvia Regina Vergilio - Integrante / Aurora R. T. Pozo - Integrante / Martin Musicante - Integrante / Sandra de Amo - Coordenador., Financiador(es): Universidade Federal de Uberlândia - Cooperação / Universite de Tours (Universite Francois Rabelais) - Cooperação / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 1998 - 2000

    Sagu: 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: Silvia Regina Vergilio - Integrante / Aurora R. T. Pozo - Coordenador / Denio Duarte - Integrante / Martin Musicante - Integrante / Vinicius Feltrin - Integrante / Razer R. Montano - Integrante., Financiador(es): Unisys - Auxílio financeiro., Número de produções C, T & A: 11 / Número de orientações: 3

  • 1997 - 1998

    Estudo 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: Silvia Regina Vergilio - Coordenador / M. Jino - Integrante / Leticia M. Peres - Integrante., 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

  • 1994 - 1995

    TAQS - 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: Silvia Regina Vergilio - Integrante / M. Jino - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Centro Tecnológico para Informática - Cooperação / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Federal do Paraná - Cooperação / University of Strathclyde (Glasgow) - Cooperação., Número de produções C, T & A: 21 / Número de orientações: 2

Seção coletada automaticamente pelo Escavador

Prêmios

2018

Melhor Artigo do WESB/CBSoft, Sociedade Brasileira de Computação - SBC.

2018

Melhor Artigo - ERES-Trilha da Indústria, Sociedade Brasileira de Computação - SBC.

2015

Best Nominated Paper GECCO, ACM.

2015

Terceiro Melhor Artigo do Simpósio Brasileiro de Engenharia de Software, SBC.

2012

Best paper award - LAWASP 2012, SBC.

2012

Classificação dentre os três primeiros artigos do LAWASP 2012, SBC.

2012

Melhor artigo do SAST 2012, SBC.

2011

Best paper award - LAWASP, SBC.

2010

Menção honrosa entre os melhores artigos do ICTSS, IFIP.

2005

Terceiro lugar - Iniciação Científica Orientada, EVINCI-UFPR.

2003

Primeiro Lugar - Iniciação Científica Orientada, EVINCI - UFPR.

2002

Primeiro Lugar - Iniciação Científica Orientada, EVINCI-UFPR.

1976

Concurso Contribuinte do Futuro, Ministério da Fazenda.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade 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:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2014 - Atual

Universidade Estadual de Maringá

Vínculo: , Enquadramento Funcional:

1993 - Atual

Universidade Federal do Paraná

Vínculo: , Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 10/2013

    Direção e administração, Departamento de Informática, .,Cargo ou função, Membro do Colegiado do Curso de Pós-graduação em Informática.

  • 01/2011

    Direção e administração, Departamento de Informática, .,Cargo ou função, Membro do Colegiado de Curso de Informática Biomédica.

  • 03/2003

    Conselhos, Comissões e Consultoria, Setor de Ciências Exatas, .,Cargo ou função, Membro do Comitê Setorial de Pesquisa.

  • 10/2000

    Ensino, Informática, Nível: Especialização,Disciplinas ministradas, Teste de Software, Engenharia de Software, Métricas de Software, Qualidade de Software

  • 05/1998

    Ensino, 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

    Pesquisa e desenvolvimento , Departamento de Informática, .,Linhas de pesquisa

  • 03/1993

    Ensino,,Disciplinas ministradas, CI056 - Algoritmos e Estrutura de Dados II, CI067 - Oficina de Computação, CI090 -Tópicos em Engenharia de Software, CI162 - Engenharia de Requisitos, CI163 - Projeto 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, CI166 - Oficina de Programação, CI219 - Análise e Projeto de Sistemas, CI228 - Laboratório de Informática I, CI229 - Laboratório de Informática II, CI166 - Metodologia da Pesquisa

  • 03/1993

    Treinamentos ministrados , Setor de Ciências Exatas, Departamento de Informática.,Treinamentos ministrados, Orientador de Monitoria - Daniel Cordeiro - 1999, Orientador de Monitoria - Adriana R. de Souza - 1993, Orientador de Monitoria - Ricardo Acras - 2000, Orientador Monitoria André Luis Balvedi - 2002

  • 12/1997 - 12/2002

    Direçã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.

  • 12/1999 - 12/2001

    Direçã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/2001

    Direçã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/1999

    Treinamentos 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/1999

    Direçã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/1999

    Direçã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/1999

    Extensão universitária , Setor de Ciências Exatas, Departamento de Informática.,Atividade de extensão realizada, Feira de Cursos e Profissões.

1998 - 1998

Fundação Centro Tecnológico para Informática

Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

  • 03/1988 - 12/1988

    Estágios , Instituto de Computacao, .,Estágio realizado, Implementação de uma Ferramenta para Estimativa de Custos de Software.