Sílvia 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 06/02/2025

Acadêmico

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 , Ano de obtenção: 1997. 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

Pós-doutorado

2020 - 2021

Pós-Doutorado. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

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

Espanhol

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.

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

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

Participação em eventos

Congresso Brasileiro de Desenvolvimento de Software - Teoria e Prática. AIssistDM: A Plugin to Assist Non-Specialist Decision-Makers in Search-Based Software Engineering Tools. 2024. (Congresso).

Congresso Brasileiro de Desenvolvimento de Software (CBSoft). An Assessment of Machine Learning Algorithms and Models for Prediction of Change-Prone Java Methods. 2023. (Congresso).

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

Participação em bancas

Aluno: Marcus Augusto Padilha da Mata

VERGILIO, S. R.; RODRIGUES, C. L.; LEITAO JUNIOR, P. S.. Predição da Invasividade do Tumor Cutâneo: Um Estudo Comparativo entre as Regiões do Brasil. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

Aluno: Camila Pereira Sales

STEPHANY, S.; REIS, K.;VERGILIO, S. R.. Uma investigação sobre meta e hiper-heurísticas para teste de integração de software para aplicações espaciais. 2021. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

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: Vinicius 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: Fábio 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: André 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: Gláucio 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: Luana Almeida Martins

MACHADO, I.;VERGILIO, S. R.; GHEYI, R.; FIGUEIREDO, E. M. L.; MENDONCA, M.. Smart Prediction for Test Smell Refactorings. 2024. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Luiz Antonio Oliveira de Araujo Junior

BARROS, M.O.; SOUZA, G. S.; ALVIM, A. C. F.; SANTOS, R. P.;Vergilio, S. R.; OLIVEIRA, T. C.. Extended Modularization Quality: uma métrica para orientar a distribuição de classes em pacotes no design de software. 2022. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Eliane Maria De Bortoli Fávero

PIMENTEL, A. R.; SIQUEIRA, F. L.; FABRO, M. D.; Paraiso, E.C.;VERGILIO, S. R.. SE3M: Um Modelo para Estimativa de Esforço de Software a Partir de Requisitos Textuais Aplicando Modelos de Embeddings Pré-treinados Contextualizados. 2020. Tese (Doutorado em Doutorado em Informática) - Universidade Federal do Paraná.

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: Andréa 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 Sa Leitao 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 Paulo de Freitas Diniz

FIGUEIREDO, E.; FERRARI, F. C.; VALENTE, M. T.; PEREIRA, F. M. Q.;VERGILIO, S. R.. Characterizing Strongly Subsuming Second-Order Mutants. 2023. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Luana Almeida Martins

MACHADO, I. C.; MENDONCA NETO, M. G.;Vergilio, S. R.. Smart prediction for test smells refactorings. 2022. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal da Bahia.

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 modelos 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: Lucilia 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: João Victor Lima Lopes

ENDO, A.; VINCENZI, A.;VERGILIO, S. R.. Uma Abordagem baseada em DevOps para Detecção de Testes Flaky. 2024. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Eduardo Mascari Filho

EMER, M. C.; SECA NETO, A. G. S.;VERGILIO, S. R.. Priorização de testes baseada em alterações nos repositórios deversionamento de software. 2020. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Computação Aplicada) - 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 Mauricio 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: 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: 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: 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á.

MONGELLI, H.; COSTA, H. A. X.; MAIA, M. A.;VERGILIO, SILVIA R.. Comissão Especial para avaliar o Memorial da servidora docente Maria Istela Cagnin Machado,. 2024. Universidade Federal de Mato Grosso do Sul.

CARVALHO, C. L.; RICARTE, I. L. M.; DELGADO, M. R. B. S.;Vergilio, S. R.. Avaliação Memorial de Plínio de Sá Leitão Júnior. 2022. Universidade Federal de Goiás.

VERGILIO, SILVIA R.; POHL, A. A. P.;MUSICANTE, M.; JULIA, R. M. S.. Avaliaçã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.

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

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

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

VERGILIO, S. R.; PARANHOS, W.. Concurso Público de Provas e Títulos para Professor Auxiliar. 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á.

Orientou

Bruno Gonçalves Oliveira

Abordagens inteligentes para detecção de vulnerabilidades; Início: 2020; Tese (Doutorado em Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Bruno Henrique Pachulski Camara

Detecção Automática de Testes Flaky; Início: 2020; Tese (Doutorado em Doutorado em Informática) - Universidade Federal do Paraná; (Orientador);

Rogério de Carvalho Silva

PRIORIZAÇÃO DE CASOS DE TESTE BASEADA EM APRENDIZADO DE MÁQUINA NO CONTEXTO DE AMBIENTES DE INTEGRAÇÃO CONTÍNUA; 2022; 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;

Enrique Augusto Roza

Henrique Neves da Silva

Uma abordagem de teste de mutação para avaliar a acessibilidade de aplicações Android; 2020; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Orientador: Silvia Regina Vergilio;

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-heuriśitica 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 sequẽncias 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;

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;

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;

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;

Paulo Roberto Farah

MACHINE LEARNING PREDICTION OF CHANGE-PRONE METHODS AND PERFORMANCE IMPACTFUL CHANGES; 2023; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Silvia Regina Vergilio;

WILLIAN DOUGLAS FERRARI MENDONÇA

Test Case Selection and Prioritization During the Evolution of Highly Configuration Systems; 2023; Tese (Doutorado em Doutorado 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

A Multi-Armed Bandit Approach for Enhancing Test Case Prioritization in Continuous Integration environments; 2021; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; 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;

Willian Douglas Ferrari

Reúso de Teste no contexto de Linha de Produto de Software; 2018; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; Orientador: Silvia Regina Vergilio;

Wesley Klewerton Guez Assunção

ModelVars2SPL: An Automated Approach to Reengineer Model Variants into Software Product Lines; 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, ; 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

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;

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;

Produções bibliográficas

ROZA, E. A. ; LIMA, J. A. P. ; VERGILIO, S. R. . On the use of contextual information for machine learning based test case prioritization in continuous integration development. INFORMATION AND SOFTWARE TECHNOLOGY , v. 171, p. 107-444, 2024.
MENDONÇA, WILLIAN D.F. ; ASSUNÇÃO, WESLEY K.G. ; VERGILIO, SILVIA R. . Feature-oriented test case selection and prioritization during the evolution of highly-configurable systems. JOURNAL OF SYSTEMS AND SOFTWARE , v. 217, p. 112-157, 2024.
SILVA, ROGÉRIO DE CARVALHO ; FARAH, PAULO ROBERTO ; Vergilio, Silvia Regina . On the use of Change History Data to Enhance Class Change-Proneness Prediction Models. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 30, p. 421-443, 2024.
BIBIANO, ANA CARLA ; UCHÔA, ANDERSON ; ASSUNÇÃO, WESLEY K.G. ; TENÓRIO, DANIEL ; COLANZI, THELMA E. ; Vergilio, Silvia Regina ; GARCIA, ALESSANDRO . Composite refactoring: Representations, characteristics and effects on software projects. INFORMATION AND SOFTWARE TECHNOLOGY , v. 156, p. 107134-134, 2023.
LIMA, J. A. P. ; Vergilio, S. R. . An Evaluation of Ranking-to-Learn Approaches for Test Case Prioritization in Continuous Integration. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 11, p. 1-20, 2023.
MARIANI, T. ; VERGILIO, S. R. ; KESSENTINE, M. . Generation of refactoring algorithms by grammatical evolution. EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE) , v. 27, p. 100, 2022.
SILVA, H. N. ; ENDO, A. ; VERGILIO, S. R. . Accessibility Mutation Testing of Android Applications. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 10, p. 1, 2022.
LIMA, J. A. P. ; MENDONÇA, WILLIAN D. F. ; ASSUNCAO, W. K. G. ; VERGILIO, S. R. . Cost-effective learning-based strategies for test case prioritization in Continuous Integration of Highly-Configurable Software. EMPIRICAL SOFTWARE ENGINEERING , v. 1, p. 1, 2022.
FERREIRA, T. N. ; VERGILIO, S. R. ; KESSENTINE, M. . Variability testing of software product line: A preference-based dimensionality reduction approach. INFORMATION AND SOFTWARE TECHNOLOGY , v. 152, p. 107031, 2022.
FERREIRA, T. N. ; VERGILIO, S. R. ; KESSENTINE, M. . Nautilus: An Interactive Plug-and-Play Search-Based Software Engineering Framework. IEEE SOFTWARE , v. 38, p. 73-82, 2021.
GUIZZO, G. ; MARIANI, T. ; VERGILIO, S. R. ; POZO, A. . An Approach for the Generation of Multi-Objective Algorithms Applied to the Integration and Test Order Problem. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 9, p. 4:1-4:18, 2021.
SILVA, HENRIQUE NEVES ; PRADO LIMA, JACKSON ; Vergilio, Silvia Regina ; ENDO, ANDRE TAKESHI . A mapping study on mutation testing for mobile applications. SOFTWARE TESTING VERIFICATION & RELIABILITY , v. 1, p. 1801, 2021.
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.
LEITAO-JUNIOR, PLINIO S. ; FREITAS, DIOGO M. ; VERGILIO, SILVIA R. ; CAMILO-JUNIOR, CELSO G. ; HARRISON, RACHEL . Search-based Fault Localisation: A Systematic Mapping Study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 123, p. 106295, 2020.
PRADO LIMA, JACKSON ANTONIO DO ; Vergilio, Silvia Regina . A Multi-Armed Bandit Approach for Test Case Prioritization in Continuous Integration Environments. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 1, p. 1-1, 2020.
GUIZZO, G. ; SARRO, F. ; KRINKE, J. ; VERGILIO, S. R. . Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , v. 1, p. 1-1, 2020.
Colanzi, Thelma Elita ; ASSUNÇÃO, WESLEY K.G. ; VERGILIO, SILVIA R. ; FARAH, PAULO ROBERTO ; GUIZZO, GIOVANI . The Symposium on Search-Based Software Engineering: Past, Present and Future. INFORMATION AND SOFTWARE TECHNOLOGY , v. 127, p. 106372, 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.
PAPADAKIS, M. (Org.) ; Vergilio, S. R. (Org.) . Search-Based Software Engineering. 1. ed. Springer Cham, 2022. v. 1. 119p .
LOPEZ-HERREJON, R. E. (Org.) ; MARTINEZ, J. (Org.) ; ASSUNCAO, W. K. G. (Org.) ; ZIADI, T. (Org.) ; Vergilio, S. R. (Org.) ; ACHER, M. (Org.) . Handbook of Re-Engineering Software Intensive Systems into Software Product Lines. 1. ed. Cham: Springer, 2022. v. 1. 517p .
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. 118p .
VERGILIO, S. R. . III Workshop de Teses em Engenharia de Software. Maringá-PR: Universidade Estadual de Maringá- CITS (Centro Internacional de Tecnologia de Software), 1998. v. 1. 51p .
Colanzi, T.E. ; MASSAGO, M. ; VERGILIO, S. R. . Optimizing Product-Line Architectures with MOA4PLA. In: OliveiraJr, Edson. (Org.). UML-Based Software Product Line Engineering with SMarty. 1ed.Cham: Springer International Publishing, 2023, v. 1, p. 241-263.
ASSUNCAO, W. K. G. ; Vergilio, S. R. ; LOPEZ-HERREJON, R. E. . Reengineering UML Class Diagram Variants into a Product Line Architecture. In: Edson OliveiraJr. (Org.). UML-Based Software Product Line Engineering with SMarty. 1ed.Cham: Springer International Publishing, 2023, v. 1, p. 393-414.
ASSUNCAO, W. K. G. ; Vergilio, S. R. ; LOPEZ-HERREJON, R. E. ; LINSBAUER, L. . Search-Based Variability Model Synthesis from Variant Configurations. In: Lopez-Herrejon,R.E.; Martinez, J.; Guez Assunção, W.K.; Ziadi, T.; Acher, M.; Vergilio, S.. (Org.). Handbook of Re-Engineering Software Intensive Systems into Software Product Lines. 1ed.Cham: Springer, 2022, v. 1, p. 115-141.
ASSUNCAO, W. K. G. ; Vergilio, S. R. ; LOPEZ-HERREJON, R. E. . ModelVars2SPL: From UML Class Diagram Variants to Software Product Line Core Assets. In: Lopez-Herrejon, R.E.; Martinez, J.; Guez Assunção, W.K.; Ziadi, T.; Acher, M.; Vergilio, S.. (Org.). Handbook of Re-Engineering Software Intensive Systems into Software Product Lines. 1ed.Cham: Springer International Publishing, 2022, v. 1, p. 221-250.
Colanzi, Thelma Elita ; ASSUNÇÃO, WESLEY KLEWERTON GUEZ ; FARAH, PAULO ROBERTO ; Vergilio, Silvia Regina ; GUIZZO, GIOVANI . A Review of Ten Years of the Symposium on Search-Based Software Engineering. In: Nejati S. & Gay G.. (Org.). Lecture Notes in Computer Science. 1ed.Springer, Cham: Springer International Publishing, 2019, v. 1, p. 42-57.
GUIZZO, G. ; VERGILIO, S. R. ; ALMEIDA, T. B. . Ferramentas de Geração Automática de Dados de Teste. In: Auri Marcelo Rizzo Vincenzi; Marcio Delamaro; Arilo Cláudio Dias Neto; Sandra C. Pinto Ferraz Fabbri; Mario Jino; José Carlos Maldonado. (Org.). Automatização de teste de software com ferramentas de software livre. 1ed.Rio de Janeiro: Elsevier Editora Ltda, 2018, v. 1, p. 147-176.
Assunção, Wesley K. G. ; VERGILIO, SILVIA R. ; LOPEZ-HERREJON, ROBERTO E. . Discovering Software Architectures with Search-Based Merge of UML Model Variants. In: Botterweck G. and Werner C.. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10221, p. 95-111.
SOUZA, S. R. S. ; Souza, P. S. L. ; Melo, S.M. ; SILVA, R.A. ; VERGILIO, S. R. . Teste de Programas Concorrentes. In: Delamaro, M.E.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 2ed.Rio de Janeiro: Elsevier, 2016, v. 1, p. 275-303.
EMER, M. C. ; VERGILIO, S. R. ; JINO, M. . Teste de Aplicações Web. In: Delamaro, M.E.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 2ed.Rio de Janeiro: Elsevier, 2016, v. 1, p. 249-269.
VERGILIO, SILVIA R. ; BUENO, P. M. S. ; JINO, M. . Geração de Dados de Teste. In: Delamaro, M.E.; Maldonado, J.C.; Jino, M.. (Org.). Introdução ao Teste de Software. 2ed.Rio de Janeiro: Elsevier, 2016, v. 1, p. 371-390.
CAMPOS JUNIOR, A. ; POZO, A. R. T. ; VERGILIO, S. R. . Applying Evolutionary ManyObjective Optimization Algorithms to the QualityDriven Web Service Composition Problem. In: Petraq Papajorgji; François Pinet; Alaine Margarete Guimarães; Jason Papathanasiou. (Org.). Automated Enterprise Systems for Maximizing Business Performance. 1ed.Hershey PA, USA: IGI Global book series Advances in Business Information Systems and Analytics (ABISA), 2015, v. 1, p. 170-194.
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.). Studies in Computational Intelligence. 1ed.Berlin: Springer-Verlag, 2010, v. 261, p. 17-41.
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. 1ed.Rio de Janeiro: Campus - Elsevier, 2007, v. 1, p. 209-230.
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. 1ed.Rio de Janeiro: Campus-Elsevier, 2007, v. 1, p. 231-248.
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. 1ed.Rio de Janeiro: Campus-Elsevier, 2007, v. 1, p. 269-291.
FREIRE, W. M. ; BOCCARDO, M. ; NOUCHI, D. ; AMARAL, A. M. M. M. ; VERGILIO, S. R. ; FERREIRA, T. N. ; Colanzi, T.E. . Large Language Model-based suggestion of objective functions for search-based Product Line Architecture design. In: XVIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2024, Curitiba. Anais do XVIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. v. 1. p. 21-30.
FREIRE, W. M. ; BOCCARDO, M. ; NOUCHI, D. ; AMARAL, A. M. M. M. ; VERGILIO, S. R. ; FERREIRA, T. N. ; Colanzi, T.E. . AIssistDM: A Plugin to Assist Non-specialist Decision-Makers in Search-Based Software Engineering Tools. In: Simpósio Brasileiro de Engenharia de Software, 2024, Curitiba. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software, 2024. v. 1. p. 725-731.
DOUGLAS FERRARI MENDONÇA, WILLIAN ; Assunção, Wesley K. G. ; VERGILIO, SILVIA . Feature-oriented Test Case Prioritization Strategies: An Evaluation for Highly Configurable Systems. In: SPLC '24: 28th ACM International Systems and Software Product Line Conference, 2024, Dommeldange Luxembourg. 28th ACM International Systems and Software Product Line Conference, 2024. v. 1. p. 72-83.
GONÇALVES DE OLIVEIRA, BRUNO ; ENDO, ANDRE ; VERGILIO, SILVIA . Characterizing Security-Related Commits of JavaScript Engines. In: 25th International Conference on Enterprise Information Systems, 2023, Prague. Proceedings of the 25th International Conference on Enterprise Information Systems, 2023. v. 2. p. 86-97.
MENDONÇA, WILLIAN D. F. ; Assunção, Wesley K. G. ; VERGILIO, SILVIA R. . Feature-oriented Test Case Selection during Evolution of Highly-Configurable Systems. In: SPLC '23: 27th ACM International Systems and Software Product Line Conference, 2023, Tokyo Japan. Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A. New York: ACM, 2023. v. 1. p. 76-86.
FARAH, PAULO ROBERTO ; SILVA, ROGÉRIO ; VERGILIO, SILVIA . An Assessment of Machine Learning Algorithms and Models for Prediction of Change-Prone Java Methods. In: SBES 2023: XXXVII Brazilian Symposium on Software Engineering, 2023, Campo Grande Brazil. Proceedings of the XXXVII Brazilian Symposium on Software Engineering. New York: ACM, 2023. v. 1. p. 322-331.
ROZA, E. A. ; LIMA, J. A. P. ; SILVA, R. C. ; VERGILIO, S. R. . Machine Learning Regression Techniques for Test Case Prioritization in Continuous Integration Environment. In: IEEE International Conference on Software Analysis, Evolution and Reengineering, 2022, Honolulu. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022). v. 1.
MENDONCA, W. F. ; ASSUNCAO, W. K. G. ; VERGILIO, S. R. . Software Product Line Regression Testing: a Research Roadmap. In: International Conference on Enterprise Information Systems (ICEIS), 2022, Prague. 24th International Conference on Enterprise Information Systems (ICEIS), 2022. v. 1.
SILVA, ROGÉRIO DE CARVALHO ; FARAH, PAULO ROBERTO ; Vergilio, Silvia Regina . Machine Learning for Change-Prone Class Prediction: A History-Based Approach. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering. New York: ACM, 2022. v. 1. p. 289-298.
MENDONÇA, WILLIAN D. F. ; VERGILIO, SILVIA R. ; MICHELON, GABRIELA K. ; EGYED, ALEXANDER ; Assunção, Wesley K. G. . Test2Feature. In: SPLC '22: 26th ACM International Systems and Software Product Line Conference, 2022, Graz Austria. Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B. New York, NY - United States: Association for Computing Machinery, 2022. v. B. p. 62-67.
UCHOA, ANDERSON ; BARBOSA, CAIO ; COUTINHO, DANIEL ; OIZUMI, WILLIAN ; ASSUNCAO, WESLEY K. G. ; Vergilio, Silvia Regina ; PEREIRA, JULIANA ALVES ; OLIVEIRA, ANDERSON ; GARCIA, ALESSANDRO . Predicting Design Impactful Changes in Modern Code Review: A Large-Scale Empirical Study. In: 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR), 2021, Madrid. 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR), 2021. p. 471.
CAMARA, BRUNO HENRIQUE PACHULSKI ; SILVA, MARCO AURELIO GRACIOTTO ; ENDO, ANDRE T. ; Vergilio, Silvia Regina . What is the Vocabulary of Flaky Tests? An Extended Replication. In: 2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC), 2021, Madrid. 2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC), 2021. p. 444.
ROBERTO FARAH, PAULO ; MARIANI, THAINA ; DA ROZA, ENRIQUE A. ; SILVA, ROGERIO C. ; REGINA VERGILIO, SILVIA . Unsupervised Learning For Refactoring Pattern Detection. In: 2021 IEEE Congress on Evolutionary Computation (CEC), 2021, Kraków. 2021 IEEE Congress on Evolutionary Computation (CEC), 2021. p. 2377.
FERREIRA, THIAGO DO NASCIMENTO ; Vergilio, Silvia Regina ; KESSENTINI, MAROUANE . Implementing Search-Based Software Engineering Approaches with Nautilus. In: SBES '21: Brazilian Symposium on Software Engineering, 2021, Joinville Brazil. Brazilian Symposium on Software Engineering. New York: ACM. p. 303.
CAMARA, BRUNO ; SILVA, MARCO ; ENDO, ANDRE ; VERGILIO, SILVIA . On the use of test smells for prediction of flaky tests. In: SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, 2021, Joinville Brazil. Brazilian Symposium on Systematic and Automated Software Testing. p. 46.
LIMA, J. A. P. ; VERGILIO, S. R. . Multi-Armed Bandit Test Case Prioritization in Continuous ntegration Environments: A Trade-off Analysis. In: Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal. Brazilian Symposium on Systematic and Automated Software Testing - SAST 2020, 2020.
SILVA, H. N. ; ENDO, A. ; ELER, M. M. ; VERGILIO, S. R. ; DURELLI, V. . On the Relation between Code Elements and Accessibility Issues in Android Apps. In: Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal. V Brazilian Symposium on Systematic and Automated Software Testing - SAST 2020, 2020.
FERREIRA, T. N. ; VERGILIO, S. R. ; KESSENTINE, M. . Applying Many-objective Algorithms to the Variability Test of Software Product Lines. In: Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal. V Brazilian Symposium on Systematic and Automated Software Testing - SAST 2020, 2020.
LIMA, JACKSON A. PRADO ; MENDONÇA, WILLIAN D. F. ; VERGILIO, SILVIA R. ; Assunção, Wesley K. G. . Learning-based prioritization of test cases in continuous integration of highly-configurable software. In: SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020, Montreal Quebec Canada. Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. p. 1.
FERREIRA, THIAGO NASCIMENTO ; Vergilio, Silvia Regina ; KESSENTINI, MAUROANE . Many-objective Search-based Selection of Software Product Line Test Products with Nautilus. In: SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020, Montreal QC Canada. Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B. New York: ACM. p. 1.
MENDONCA, WILLIAN D.F. ; ASSUNCAO, WESLEY K.G. ; ESTANISLAU, LUCAS V. ; VERGILIO, SILVIA R. ; GARCIA, ALESSANDRO . Towards a Microservices-Based Product Line with Multi-Objective Evolutionary Algorithms. In: 2020 IEEE Congress on Evolutionary Computation (CEC), 2020, Glasgow. 2020 IEEE Congress on Evolutionary Computation (CEC), 2020. p. 1.
SOARES, V. ; OLIVEIRA, A. ; PEREIRA, J. A. ; BIBIANO, A. C. ; GARCIA, A. ; FARAH, P. R. ; VERGILIO, S. R. ; SCHOTS, M. ; SILVA, C. B. V. ; COUTINHO, D. ; OLIVEIRA, D. ; UCHOA, A. . On the Relation between Complexity, Explicitness, Effectiveness of Refactorings and Non-Functional Concerns. In: 34th Brazilian Symposium on Software Engineering, 2020, Natal-RN. 34th Brazilian Symposium on Software Engineering, 2020. v. 1.
MENDONÇA, WILLIAN D. F. ; Assunção, Wesley K. G. ; VERGILIO, SILVIA R. . Reusing Test Cases on Graph Product Line Variants. In: the IV Brazilian Symposium, 2019, Salvador. Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing - SAST 2019. New York: ACM Press, 2019. p. 52.
DA SILVA, HENRIQUE NEVES ; FARAH, PAULO ROBERTO ; MENDONÇA, WILLIAN DOUGLAS FERRARI ; Vergilio, Silvia Regina . Assessing Android Test Data Generation Tools via Mutation Testing. In: the IV Brazilian Symposium, 2019, Salvador. Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing - SAST 2019, 2019. p. 32.
FILHO, HELSON LUIZ JAKUBOVSKI ; FERREIRA, THIAGO NASCIMENTO ; Vergilio, Silvia Regina . Multiple objective test set selection for software product line testing. In: the XXXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXXII Brazilian Symposium on Software Engineering - SBES '18. New York: ACM Press, 2018. v. 1. p. 162.
JAKUBOVSKI FILHO, H. L. ; FERREIRA, T. N. ; VERGILIO, S. R. . Incorporating User Preferences in a Software Product Line Testing Hyper-Heuristic Approach. In: IEEE Congress on Evolutionary Computation (CEC '18), 2018, Rio de Janeiro, RJ. Proceedings of the IEEE Congress on Evolutionary Computation (CEC '18), 2018.
LIMA, JACKSON A. PRADO ; Vergilio, Silvia Regina . Search-Based Higher Order Mutation Testing. In: the III Brazilian Symposium, 2018, SAO CARLOS. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing - SAST '18, 2018. p. 87.
LIMA, J. A. P. ; VERGILIO, S. R. . Comparing Low Level Heuristics Selection Methods in a Higher-Order Mutation Testing Approach. In: Workshop Brasileiro de Engenharia de Software Baseada em Busca (WESB), 2018, São Carlos. Workshop Brasileiro de Engenharia de Software Baseada em Busca (WESB), 2018.
MARIANI, T. ; VERGILIO, SILVIA R. ; KESSENTINE, M. . Uma proposta de geração automática de algoritmos de refatoração. In: Workshop Brasileiro de Engenharia de Software Baseada em Busca (WESB), 2018, São Carlos, SP. Workshop Brasileiro de Engenharia de Software Baseada em Busca (WESB), 2018.
DELGADO, Y. ; Colanzi, T.E. ; VERGILIO, S. R. . An Enhanced Evaluation Model for Search-based Product Line Architecture Design. In: XX Ibero-American Conference on Software Engineering (CIbSE 2017), 2017, Buenos Aires - Argentina. XX Ibero-American Conference on Software Engineering (CIbSE 2017),. Buenos Aires, Argentina,: Curran Associates, 2017. v. 1. p. 155-168.
LIMA, JACKSON A. PRADO ; VERGILIO, SILVIA R. . A Multi-objective optimization approach for selection of second order mutant generation strategies. In: the 2nd Brazilian Symposium, 2017, Fortaleza. Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York, USA: ACM, 2017. v. 1. p. 1.
FILHO, HELSON L. JAKUBOVSKI ; LIMA, JACKSON A. PRADO ; VERGILIO, SILVIA R. . Automatic Generation of Search-Based Algorithms Applied to the Feature Testing of Software Product Lines. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17. New York, USA: ACM, 2017. v. 1. p. 114-123.
MARIANI, THAINÁ ; GUIZZO, GIOVANI ; VERGILIO, SILVIA R. ; POZO, AURORA T.R. . Grammatical Evolution for the Multi-Objective Integration and Test Order Problem. In: the 2016, 2016, Denver. Proceedings of the 2016 on Genetic and Evolutionary Computation Conference - GECCO '16. New York: ACM Press. v. 1. p. 1069-1076.
FERREIRA, T. N. ; KULK, J. ; POZO, A. R. T. ; VERGILIO, SILVIA R. . Product Selection Based on Upper Confidence Bound MOEA/D-DRA for Testing Software Product Lines. In: CEC 2016, 2016, Vancourver, Canadá. CEC2016, 2016. v. 1. p. 4135-4142.
FERREIRA, T. N. ; Vergilio, S. R. ; SOUZA, J. . Engenharia de Software Baseada em Busca e em Preferência: Uma Visão Geral. In: VII Worskhop Brasileiro de Engenharia de Software Baseada em Busca, 2016, Maringá. VII Congresso Brasileiro de Desenvolvimento de Software - Teoria e Prática. v. 1. p. 1-10.
FERREIRA, T. N. ; MARIANI, T. ; Vergilio, S. R. . Reviewing Six Years of Brazilian Workshop on Search-Based Software Engineering. In: VII Worskhop Brasileiro de Engenharia de Software Baseada em Busca, 2016, Maringá. VII Congresso Brasileiro de Desenvolvimento de Software - Teoria e Prática, 2016. v. 1. p. 11-20.
LIMA, JACKSON A. PRADO ; GUIZZO, GIOVANI ; VERGILIO, SILVIA R. ; SILVA, ALAN P. C. ; FILHO, HELSON L. JAKUBOVSKI ; EHRENFRIED, HENRIQUE V. . Evaluating Different Strategies for Reduction of Mutation Testing Costs. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press. p. 1.
MARIANI, THAINÁ ; GUIZZO, GIOVANI ; POZO, A. ; VERGILIO, SILVIA R. . Automatic Design of Algorithms Applied to the Multi-Objective TSP Problem. In: XIII Encontro Nacional de Inteligência Artificial e Computacional, 2016, Recife. XIII Encontro Nacional de Inteligência Artificial e Computacional. SBC: Biblioteca Digital Brasileira de Computação, 2016. v. 1. p. 433-444.
GUIZZO, G. ; VERGILIO, S. R. . Metaheuristic Design Pattern: Visitor for Genetic Operators. In: Brazilian Conference on Intelligent Systems, 2016, Recife. Brazilian Conference on Intelligent Systems (BRACIS), 2016. v. 1. p. 157-162.
FEDERLE, E. L. ; FERREIRA, T. N. ; Colanzi, T.E. ; VERGILIO, S. R. . OPLA-Tool: A Support Tool for Search-Based Product Line Architecture Design. In: Software Product Line Conference (SPLC), 2015, Nashville, TN. SPLC '14 Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools. New York, NY, USA: ACM New York, NY, USA, 2015. v. 2. p. 370-373.
ASSUNÇÃO, WESLEY K.G. ; LOPEZ-HERREJON, ROBERTO E. ; LINSBAUER, LUKAS ; VERGILIO, SILVIA R. ; EGYED, ALEXANDER . Extracting Variability-Safe Feature Models from Source Code Dependencies in System Variants. In: the 2015, 2015, Madrid. Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15, 2015. v. 1. p. 1303-1310.
LOPEZ-HERREJON, ROBERTO E. ; LINSBAUER, LUKAS ; ASSUNÇÃO, WESLEY K.G. ; FISCHER, STEFAN ; VERGILIO, SILVIA R. ; EGYED, ALEXANDER . Genetic Improvement for Software Product Lines. In: the Companion Publication of the 2015, 2015, Madrid. Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference - GECCO Companion '15. New York: ACM Press, 2015. v. 1. p. 823-830.
GUIZZO, GIOVANI ; FRITSCHE, GIAN MAURICIO ; Vergilio, Silvia Regina ; Pozo, Aurora Trinidad Ramirez . A Hyper-Heuristic for the Multi-Objective Integration and Test Order Problem. In: the 2015, 2015, Madrid. Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15, 2015. p. 1343-1350.
MARIANI, T. ; Colanzi, T.E. ; VERGILIO, S. R. . Search Based Design of Layered Software Product Line Architectures. In: The 39th IEEE Computer Society International Conference on Computers, Software & Applications, 2015, Taichung - Taiwan. The 39th IEEE Computer Society International Conference on Computers, Software & Applications. Los Alamitos, California: IEEE, 2015. v. 1. p. 270-275.
FILHO, RUI ANGELO MATNEI ; Vergilio, Silvia Regina . A Mutation and Multi-objective Test Data Generation Approach for Feature Testing of Software Product Lines. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), 2015, Belo Horizonte-MG. 2015 29th Brazilian Symposium on Software Engineering, 2015. v. 1. p. 21-30.
CARVALHO, V. R. ; VERGILIO, S. R. ; POZO, A. . Uma hiperheurística de seleção de metaheurísticas para estabelecer sequências de módulos para o teste de software. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2015, Belo Horizonte. Congresso Brasileiro de Desenvolvimento de Software: teoria e prática, 2015. v. 1.
GUIZZO, G. ; VERGILIO, S. R. ; POZO, A. . Uma Solução Baseada em HiperHeurística para Determinar Ordens de Teste na Presença de Restrições de Modularização. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2015, Belo Horizonte. Congresso Brasileiro de Desenvolvimento de Software: teoria e prática, 2015. v. 1.
FERREIRA, T. N. ; VERGILIO, S. R. . Utilizando Otimização por Colônia de Formigas na Seleção de Produtos para o Teste de Mutação do Diagrama de Características.. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2015, Belo Horizonte. Congresso Brasileiro de Desenvolvimento de Software: teoria e prática, 2015. v. 1.
MARIANI, T. ; VERGILIO, S. R. ; Colanzi, T.E. . Optimizing Aspect-Oriented Product Line Architectures with Search-based Algorithms. In: Symposium on Search-Based Software Engineering (SSBSE), 2015, Bergamo, Itália. Lecture Notes in Computer Science - Search Based Software Engineering, 2015. v. 9275. p. 173-187.
GUIZZO, GIOVANI ; VERGILIO, SILVIA R. ; POZO, AURORA T.R. . Evaluating a Multi-objective Hyper-Heuristic for the Integration and Test Order Problem. In: 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015, Natal. 2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015. v. 1. p. 1-6.
Colanzi, Thelma Elita ; Vergilio, Silvia Regina . A Feature-Driven Crossover Operator for Product Line Architecture Design Optimization. In: 2014 IEEE 38th Annual Computer Software and Applications Conference (COMPSAC), 2014, Vasteras. 2014 IEEE 38th Annual Computer Software and Applications Conference, 2014. v. 1. p. 43-52.
Colanzi, Thelma Elita ; Vergilio, Silvia Regina ; GIMENES, ITANA M. S. ; OIZUMI, WILLIAN NALEPA . A search-based approach for software product line design. In: the 18th International Software Product Line Conference, 2014, Florence. Proceedings of the 18th International Software Product Line Conference on - SPLC '14. New York: ACM Press, 2014. v. 1. p. 237-241.
ASSUNÇÃO, WESLEY KLEWERTON GUEZ ; Vergilio, Silvia Regina . Feature location for software product line migration. In: the 18th International Software Product Line Conference, 2014, Florence. Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14. New York: ACM Press. v. 1. p. 52-59.
GUIZZO, G. ; Colanzi, Thelma Elita ; VERGILIO, S. R. . A Pattern-Driven Mutation Operator for Search-Based Product Line Architecture Design. In: 6th International Symposium, SSBSE 2014, 2014, Fortaleza. Search Based Software Engineering - Lecture Notes in Computer Science, 2014. v. 8636. p. 77-91.
GUIZZO, G. ; Colanzi, Thelma Elita ; Vergilio, S. R. . Aplicação do padrão Mediator em uma abordagem de otimização de projeto de Arquitetura de Linha de Produto de Software.. In: V Workshop de Engenharia de Software Baseada em Busca (WESB),, 2014, Maceió. Congresso Brasileiro de Desenvolvimento de Software: Teoria e Prática, 2014. v. 1.
MATNEI FILHO, R. ; Vergilio, S. R. . Configuração Baseada em Busca de Linha de Produto de Software: Resultados de um Mapeamento sistemático. In: V Workshop de Engenharia de Software Baseada em Busca (WESB), 2014, Maceió. Congresso Brasileiro de Desenvolvimento de Software: Teoria e Prática, 2014.
Colanzi, Thelma Elita ; Vergilio, Silvia Regina . A Comparative Analysis of Two Multi-objective Evolutionary Algorithms in Product Line Architecture Design Optimization. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI), 2014, Limassol. 2014 IEEE 26th International Conference on Tools with Artificial Intelligence. v. 1. p. 681-688.
Colanzi, Thelma Elita ; Vergilio, Silvia Regina . Representation of Software Product Line Architectures for search-based design. In: 2013 1st International Workshop on Combining Modelling and SearchBased Software Engineering (CMSBSE), 2013, San Francisco. 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE). v. 1. p. 28-33.
FERREIRA, J. M. ; QUINAIA, M. ; VERGILIO, S. R. . A Mutation Approach to Feature Testing of Software Product Lines. In: International Conference on Software Engineering and Knowledge Engineering, 2013, Boston. SEKE- Twenty-Five International Conference on Software Engineering and Knowledge Engineering. Skokie, IL: Knowledge Systems Insitute Graduate School, 2013. v. 1. p. 231-237.
ASSUNCAO, W. K. G. ; VERGILIO, S. R. . Class Diagram Retrieval with Particle Swarm Optimization. In: International Conference on Software Engineering and Knowledge Engineering, 2013, Boston. SEKE- Twenty-Five International Conference on Software Engineering and Knowledge Engineering. Skokie, IL: Knowledge Systems Institute Graduate School, 2013. v. 1. p. 632-637.
ASSUNCAO, W. K. G. ; BARROS, M.O. ; Colanzi, T.E. ; DIAS NETO, A. C. ; PAIXAO, M. H. ; SOUZA, J. ; VERGILIO, S. R. . Mapeamento da Comunidade Brasileira de SBSE. In: IV Workshop de Engenharia de Software Baseada em Busca (WESB),, 2013, Brasilia. Proceedings of the Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013), 2013. v. 1.
ASSUNCAO, WESLEY KLEWERTON GUEZ ; COLANZI, THELMA ; VERGILIO, SILVIA ; Pozo, Aurora . Determining Integration and Test Orders in the Presence of Modularization Restrictions. In: 2013 27th Brazilian Symposium on Software Engineering (SBES), 2013, Brasilia. 2013 27th Brazilian Symposium on Software Engineering. v. 1. p. 31-55.
ASSUNCAO, WESLEY KLEWERTON GUEZ ; Vergilio, Silvia Regina . A Multi-objective Solution for Retrieving Class Diagrams. In: 2013 Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. 2013 Brazilian Conference on Intelligent Systems. v. 1. p. 249.
ASSUNCAO, W. K. G. ; Colanzi, T.E. ; VERGILIO, S. R. ; POZO, A. . On the Application of the Multi-Evolutionary and Coupling-Based Approach with Different Aspect-Class Integration Testing Strategies. In: Symposium on Search-Based Software Engineering (SSBSE),, 2013, St. Petersburg, Russia. 5th Symposium on Search Based Software Engineering, 2013. v. 1. p. 19-33.
FEDERLE, E. L. ; GUIZZO, G. ; Colanzi, T.E. ; VERGILIO, S. R. ; SPINOSA, E. . Selecao de produto baseada em algoritmos multiobjetivos para o teste de mutacao de variabilidades. In: IV Workshop de Engenharia de Software Baseada em Busca (WESB), 2013, Brasilia. Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013), 2013. v. 1.
GUIZZO, G. ; Colanzi, T.E. ; VERGILIO, S. R. . Otimizando arquiteturas de LPS: uma proposta de operador de mutação para a aplicação automática de padrões de projeto. In: IV Workshop de Engenharia de Software Baseada em Busca (WESB), 2013, Brasilia. Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013), 2013. v. 1.
CARMARGO, L. ; VERGILIO, S. R. . Classificação de Defeitos para Programas MapReduce: Resultados de um Estudo Empírico. In: 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasilia. Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013), 2013. v. 1.
GUIZZO, GIOVANI ; Colanzi, Thelma Elita ; Vergilio, Silvia Regina . A Feasibility Analysis for the Application of Design Patterns in Search Based Product Line Design. In: 2013 32nd International Conference of the Chilean Computer Science Society (SCCC), 2013, Temuco. 2013 32nd International Conference of the Chilean Computer Science Society (SCCC), 2013. v. 1. p. 116-120.
CAMARGO, LUIZ CARLOS ; Vergilio, Silvia Regina . Testing MapReduce Programs: A Mapping Study. In: 2013 32nd International Conference of the Chilean Computer Science Society (SCCC), 2013, Temuco. 2013 32nd International Conference of the Chilean Computer Science Society (SCCC), 2013. v. 1. p. 85-89.
QUINAIA, M. ; FERREIRA, J. M. ; Vergilio, S. R. . Teste de Linha de Produto de Software Baseado em Mutação de Variabilidades. In: Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2012, Natal. Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2012. v. 1.
FILLUS, E. K. ; Vergilio, S. R. . A Clustering Based Approach for Aspect Mining and Pointcut Identification. In: Latin American Workshop no Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP.12), 2012, Natal. 6th Latin American Workshop no Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP.12), 2012. v. 1.
ASSUNCAO, W. K. G. ; Colanzi, T.E. ; Vergilio, S. R. ; POZO, A. R. T. . Evaluating Different Strategies for Integration Testing of Aspect-Oriented Programs. In: Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), 2012, Natal. 6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), 2012. v. 1.
Colanzi, T.E. ; Vergilio, S. R. . Direções de Pesquisa para a Otimização de Arquiteturas de Linhas de Produto de Software Baseada em Busca. In: 3th Brazilian Workshop on Search Based Software Engineering, 2012, Natal. 3th Brazilian Workshop on Search Based Software Engineering, 2012. v. 1.
POZO, A. ; Nobre, T. ; Vergilio, S. R. . Reduzindo o Custo do Teste de Mutação de Interface com Algoritmos de Otimização Multi-objetivo. In: Encontro Nacional de Inteligência Artificial, 2012, Curitiba. Brazilian Conference on Intelligent Systems, 2012. v. 1.
ASSUNCAO, W. K. G. ; Colanzi, T.E. ; POZO, A. ; Vergilio, S. R. . Uma Estratégia para Integrar e Testar Agrupamentos de Classes Baseada em Algoritmos Multiobjetivos. In: Encontro Nacional de Inteligência Artificial (ENIA), 2012, Curitiba. Brazilian Conference on Intelligent Systems (BRACIS), 2012. v. 1.
FILLUS, E. K. ; Vergilio, S. R. . Uma Avaliação do Uso de Diferentes Algoritmos de Agrupamento e Medidas de Distância para Mineração de Aspectos. In: Brazilian Workshop on Search Based Software Engineering (WESB), 2012, Natal. 3th Brazilian Workshop on Search Based Software Engineering, 2012. v. 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Á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.
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.
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.
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.
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.
Á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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
FARAH, PAULO ROBERTO ; Vergilio, Silvia Regina . PerfoRT: A Tool for Software Performance Regression. In: ICPE '23: ACM/SPEC International Conference on Performance Engineering, 2023, Coimbra Portugal. Companion of the 2023 ACM/SPEC International Conference on Performance Engineering. New York: ACM, 2023. p. 119-120.
ASSUNCAO, W. K. G. ; MENDONCA, W. F. ; VERGILIO, S. R. . Reúso de Software: do Oportunista ao Sistemático. In: Escola Regional de Engenharia de Software, 2018, Dois Viznhos. ERES - Escolar Regional de Engenharia de Software, 2018. v. 1.
FEDERLE, E. L. ; FERREIRA, T. N. ; Colanzi, T.E. ; VERGILIO, S. R. . Optimizing Software Product Line Architectures with OPLA-Tool. In: Symposium on Search-Based Software Engineering (SSBSE), 2015, Bergamo, Itália. Lecture Notes in Computer Science - Seach Based Software Engineering, 2015. v. 9275. p. 325-331.
Colanzi, T.E. ; Vergilio, S. R. . Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned. In: 4th Symposium on Search Based Software Engineering (SSBSE), 2012, Riva del Garda. Search Based Software Engineering - Lecture Notes in Computer Science. Berlin: Springer, 2012. v. 1. p. 259-266.
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.
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.
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.
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.
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.
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.
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.
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.
MATNEI FILHO, R. ; VERGILIO, S. R. . A Mutation and Multi-Objective Test Data Generation Approach for Feature Testing of Software Product Lines. 2015. (Apresentação de Trabalho/Congresso).
VERGILIO, S. R. . Pesquisa em Engenharia de Software. 2013. (Apresentação de Trabalho/Conferência ou palestra).
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).
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).
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).
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).
VERGILIO, S. R. . Jornadas Chilenas de Computación. 2001. (Apresentação de Trabalho/Congresso).
VERGILIO, S. R. . Conferência LatinoAmericana de Informática. 2001. (Apresentação de Trabalho/Congresso).
VERGILIO, S. R. . LAPTEC-2001- II Congresso de Lógica Aplicada à Tecnologia. 2001. (Apresentação de Trabalho/Congresso).
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).
VERGILIO, S. R. . Workshop do Projeto e Validação e Teste de Sistemas de Operação. 1997. (Apresentação de Trabalho/Outra).
VERGILIO, S. R. . Jornadas Latinoamericanas de Informática. 1997. (Apresentação de Trabalho/Conferência ou palestra).
VERGILIO, S. R. . VI International Conference on Software Quality. 1996. (Apresentação de Trabalho/Conferência ou palestra).
VERGILIO, S. R. . IX Simpósio Brasileiro de Engenharia de Software. 1995. (Apresentação de Trabalho/Simpósio).
VERGILIO, S. R. . XXII SEMISH;PANEL. 1995. (Apresentação de Trabalho/Conferência ou palestra).
VERGILIO, S. R. . VIII Simpósio Brasileiro de Engenharia de Software. 1994. (Apresentação de Trabalho/Simpósio).
VERGILIO, S. R. . Ferramentas para Teste de Software. 1993. (Apresentação de Trabalho/Seminário).
VERGILIO, S. R. . VII Simpósio Brasileiro de Engenharia de Software. 1993. (Apresentação de Trabalho/Simpósio).
VERGILIO, S. R. . VI Simpósio Brasileiro de Engenharia de Software. 1992. (Apresentação de Trabalho/Simpósio).
VERGILIO, S. R. . VII Congresso de Iniciação Científica e Tecnológica em Engenharia. 1988. (Apresentação de Trabalho/Congresso).

Outras produções

CUNHA, P. ; ZORZO, A. ; MALDONADO, J. C. ; SIMAO, A. S. ; BATISTA, T. ; BITTENCOURT, I. I. ; VERGILIO, S. R. ; ALMEIDA, J. M. . PARTICIPAÇÃO NA AVALIAÇÃO QUADRIENAL DE PERMANÊNCIA 2021. 2022.

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. . III IEEE Latin-American Test Workshop. 2001.

VERGILIO, S. R. . XV Simposio Brasileiro de Engenharia de Software. 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. . CNS´97 - Chamada Nacional Softex´97. 1997.

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

VERGILIO, S. R. ; Lima Pinto, G.H. ; SECA NETO, A. G. S. . Fronteiras da Engenharia de Software. 2020. (Programa de rádio ou TV/Outra).

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.

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.
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): Universidade de São Paulo - Cooperação / Universidade Estadual de Ponta Grossa - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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: 14
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: 4
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): 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 / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 23

Prêmios

2024

Best Paper Award - SBCARS 2024, SBC.

2023

Best Paper Award - Software Product Line Conference (SPLC 2023), ACM.

2021

Best paper ward 29th International Conference on Program Comprehension (ICPC) Replications and Negative Results track, IEEE/ACM.

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

Endereço profissional

Universidade Federal do Paraná, Setor de Ciências Exatas, Departamento de Informática. , Centro Politécnico, Jardim das Américas, 81531970 - Curitiba, PR - Brasil - Caixa-postal: 19081, Telefone: (041) 33613681, Fax: (041) 33613205, URL da Homepage:

Experiência profissional

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.