Vânia de Oliveira Neves

É Professora Adjunta na Universidade Federal Fluminense (UFF) e possui doutorado em Ciências da Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (ICMC/USP) (2015). Possui título de mestre em Ciências da Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (ICMC/USP) (2010). É Bacharel em Ciências da Computação pela Universidade Estadual Paulista Júlio de Mesquita Filho (2006). Tem experiência na área de Engenharia de Software, com foco em Teste de Software, atuando principalmente nos seguintes temas: teste de sistemas complexos (sistemas autônomos, sistemas de sistemas), teste estrutural, geração de casos de teste, mineração de repositórios e educação em engenharia de software. Foi pesquisadora visitante financiada pela Fulbright no grupo ARiSE Lab, da Columbia University (2021/2022). Também foi pesquisadora vistante nos grupos Software Engineering & Dependable Computing (SEDC), do ISTI/CNR, e do DEpendable Evolvable Pervasive Software Engineering (DEEP-SE), do Politecnico di Milano. Foi a Chair do Comitê de Programa do Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2020). Foi membro do Comitê Gestor da Comissão Especial de Engenharia de Software (CE-ES) em 2020-2021. Atua como revisora de artigos de periódicos e de conferências nacionais e internacionais nas áreas de Engenharia de Software.

Informações coletadas do Lattes em 25/09/2023

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação e Matemática Computacional

2010 - 2015

Universidade de São Paulo
Título: Automatização do teste estrutural de software de veículos autônomos para apoio ao teste de campo
Orientador: em Politecnico di Milano ( Luciano Baresi)
com , Ano de obtenção: 2015. Paulo Cesar Masiero. Coorientador: Márcio Eduardo Delamaro. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Teste estrutural; Geração de dados de teste; Veículos autônomos; Teste de Veículos Autonômos; Teste baseado em busca.

Mestrado em Ciências da Computação e Matemática Computacional

2007 - 2009

Universidade de São Paulo
Título: Teste de Integração Contextual de Programas Orientados a Objetos e a Aspectos: critérios e automação
, Ano de Obtenção: 2010.Paulo César Masiero.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Programação orientada a aspectos; Programação orientada a objetos; Teste estrutural; Teste de integração; Teste de programas orientados a aspectos; Teste de programas orientados a objetos. Grande área: Ciências Exatas e da Terra

Graduação em Bacharelado em Ciências da Computação

2003 - 2006

Universidade Estadual Paulista Júlio de Mesquita Filho
Título: Versão Beta do SiViU para ambientes Java e PostgreSQL
Orientador: Prof. Farid Nourani

Graduação interrompida em 2003 em Matemática

2001 - Atual

Universidade Estadual Paulista Júlio de Mesquita Filho
Ano de interrupção: 2003

Curso técnico/profissionalizante em Informática

2000 - 2002

Colégio Técnico de Limeira - COTIL - UNICAMP

Ensino Médio (2º grau)

1998 - 2000

Escola Estadual Profª Ruth Ramos Cappi

Ensino Fundamental (1º grau)

1990 - 1997

Escola Estadual Profª Carolina Arruda Vasconcellos

Formação complementar

2014 - 2014

Collecting Big Data Autonomously. (Carga horária: 6h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2004 - 2004

Wireless Design & Installation Network. (Carga horária: 16h). , Info Junior Projetos, Assessoria & Consultoria, INFOJR, Brasil.

2002 - 2002

Extensão universitária em Introdução ao Latex. (Carga horária: 30h). , Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Italiano

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

Á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

NEVES, V. O. . Escola de Verão do PGC-UFF 2023. 2023. (Outro).

VOS, T. E. J. ; GORLA, A. ; NEVES, V. O. . Organizing Committee (Registration Chair): 15th IEEE International Conference on Software Testing, Verification and Validation (ICST). 2022. (Congresso).

NEVES, V. O. . Coordenadora Local do VII Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software (WASHES 2022). 2022. (Outro).

BERNARDINI, F. C. ; VITERBO FILHO, J. ; MARTINS, S. ; BOKEHI, J. R. ; BRAVO, R. ; PAES, A. ; NEVES, V. O. . Comitê Organizador Executivo do 42o Congresso da Sociedade Brasileira de Computação (Comunicação). 2022. (Congresso).

NEVES, V. O. ; ANDRADE, W. . 5th Brazilian Symposium on Systematic and Automated Software Testing. 2020. (Congresso).

NEVES, V. O. ; HORITA, F. ; DIIRR, B. . I Brazilian Workshop on lArge-scale cRitical systEms. 2019. (Congresso).

NEVES, V. O. ; Marques, M.O. ; AMBROSIO, L. M. ; PIRES, C. A. A. ; OLIVEIRA, A. A. F. ; AQUINO, L. C. M. ; SILVA, P. H. S. M. E. ; SILVA, C. N. ; SILVA, J. E. A. ; MATHEUS, L. E. M. . XX Semana da Computação da UFJF. 2017. (Outro).

FERREIRA, C. S. ; GOLIATT, P. V. Z. C. ; NEVES, V. O. . Workshop Big Data na UFJF. 2017. (Outro).

Passini, M.M. ; Lelis, C.A. ; Marques, M.O. ; Arbex, W ; NEVES, V. O. ; OLIVEIRA, A. L. . XIX Semana da Computação da UFJF. 2016. (Outro).

BRAGA, R. T. V. ; MALDONADO, J. C. ; NEVES, V. O. ; MARTINS, R. M. ; VILELA, R. F. ; ARIMOTO, M. M. ; OLIVEIRA, A. L. ; SANTOS, A. C. C. ; FABIANO, N. L. ; MARINO, M. F. A. . Workshop Retrospectiva de Engenharia de Software no ICMC. 2015. (Outro).

NEVES, V. O. . XIII Semana de Estudos da Ciência da Computação. 2005. (Outro).

NEVES, V. O. . XII Semana de Estudos da Ciência da Computação. 2004. (Outro).

Participação em eventos

18th Annual Conference on System of Systems Engineering. Automated Derivation of Test Requirements for Systems of Systems. 2023. (Congresso).

XIX Simpósio Brasileiro de Sistemas de Informação.18+ years of Brazilian Symposium on Information Systems: Results of a Scope Review. 2023. (Simpósio).

XIII Congresso Brasileiro de Software: Teoria e Prática ? CBSoft 2020. 2022. (Simpósio).

XLII Congresso da Sociedade Brasileira de Computação (CSBC 2022). 2022. (Congresso).

3rd International Symposium on Software Engineering for Machine Learning Applications. 2020. (Simpósio).

XI Congresso Brasileiro de Software: Teoria e Prática ? CBSoft 2020. 2020. (Congresso).

X Congresso Brasileiro de Software: Teoria e Prática ? CBSoft 2019. Software Testing Education: dreams and challenges when bringing academia and industry closer together. 2019. (Congresso).

XXXIII Simpósio Brasileiro de Engenharia de Software.Software Testing Education: dreams and challenges when bringing academia and industry closer together. 2019. (Simpósio).

40th International Conferente on Software Engineering (ICSE 2018). 2018. (Congresso).

6th International Workshop on Software Engineering for Systems-of-Systems at ICSE 2018. Do we need new strategies for testing Systems-of-Systems?. 2018. (Congresso).

IX Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2018). PySoCA - Python Source-code Coverage and Analysis. 2018. (Congresso).

39th International Conferente on Software Engineering. 2017. (Congresso).

VIII Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2017). PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos. 2017. (Congresso).

XX Ibero-American Conference on Software Engineering - CIbSE 2E. Automated Structural Software Testing of Autonomous Vehicle. 2017. (Congresso).

Encontro de Egressos do Doutorado do Programa de Pós-Graduação em Ciências de Computação e Matemática Computacionaonal. 2016. (Encontro).

XVIII Ibero-American Conference on Software Engineering - CIbSE 2E. Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. 2015. (Congresso).

8th Brazilian Workshop on Systematic and Automated Software Testing. Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. 2014. (Congresso).

Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2014). 2014. (Congresso).

IV Brazilian Symposium on Computing Systems Engineering. An environment to support structural testing of autonomous vehicles. 2014. (Congresso).

The Twenty-Fifth International Conference on Software Engineering & Knowledge Engineering. Structural Testing of Autonomous Vehicles. 2013. (Congresso).

II Conferência Brasileira em Sistemas Embarcados Críticos. Uma contribuição à definição e automatização do teste estrutural de software de sistemas embarcados. 2012. (Congresso).

1ª Conferência Brasileira de Sistemas Embarcados Críticos. 2011. (Outra).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). 2011. (Congresso).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - XVIII Sessão de Ferramentas. Extensão da Ferramenta JaBUTi/AJ para Teste de Integração de Programas Orientados a Objetos e a Aspectos. 2011. (Congresso).

V Workshop Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2011). Uma Revisão Sistemática sobre Teste Estrutural de Software em Sistemas Embarcados. 2011. (Congresso).

III Latin American Workshop on Aspect-Oriented Software Development.Teste Estrutural de Integração Nível 1 de Programas Orientados a Objetos e Aspectos. 2009. (Outra).

XXIII Simpósio Brasileiro de Engenharia de Software. 2009. (Simpósio).

XIV Semana de Estudos da Ciência da Computação. 2006. (Outra).

Conferência de dez anos do GPIMEM - Grupo de Pesquisa em Infomática, outras Mídias e Educação Matemática.Applets: Uma nova opção para EaD. 2003. (Outra).

Conferência de dez anos do GPIMEM - Grupo de Pesquisa em Infomática, outras Mídias e Educação Matemática.Applet: Uma Tecnologia Computacional Moderna e Algumas de Suas Aplicações na Educação Matemática. 2003. (Outra).

Conferência de dez anos do GPIMEM - Grupo de Pesquisa em Infomática, outras Mídias e Educação Matemática. 2003. (Outra).

XI Semana de Estudos da Ciência da Computação. 2003. (Outra).

2ª Semana da Informática. 2002. (Outra).

V Simpósio de Iniciação Científica do Campus Rio Claro. 2002. (Simpósio).

X Semana de Estudos da Ciência da Computação. 2002. (Outra).

1ª Semana da Informática. 2001. (Outra).

Participação em bancas

Aluno: Camila Pardo Garcia Morelli

NEVES, V. O.; SALGADO, L. C. C.; TREVISAN, D. G.; CONTE, T. U.; AFONSO, L. M.. Aplicando o Signifying API para Investigar a Testabilidade de APIs. 2022. Dissertação (Mestrado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

Aluno: Railana dos Santos Santana

MACHADO, I. C.; SCHOBBENS, P. Y.;NEVES, V. O.. RAIDE: uma abordagem semi semi-automatizada para Identificação e Refatoração de Test Smells Smells. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Fabiano Rodrigues Alves Nascimento

BARROS, M. O.; SANTOS, R. P.;NEVES, V. O.. Geração de Testes Automatizados para Contratos Inteligentes na Rede Blockchain Ethereum. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Henrique do Prado Linhares

MURTA, L. G. P.; KOHWALTER, T. C.;NEVES, V. O.; CLUA, E. W. G.; SOUZA, G. S.. Provenance-enhanced Algorithmic Debugging. 2019. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

Aluno: Bruno Gonçalves de Oliveira

VERGILIO, S. R.; GREGIO, A. R. A.;NEVES, V. O.. JSTargetFuzzer: An approach for building fuzzing tools to vulnerability identification in JavaScript Engines. 2023. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: JAILTON SANTOS DAS NEVES

MACHADO, R. C. S.; SAADE, D. C. M.;NEVES, V. O.DELAMARO, M. E.. Métricas Quantitativas para Avaliação de Desempenho de Laboratórios Acreditados na Análise de Produtos e Códigos de Softwares. 2022. Exame de qualificação (Doutorando em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

Aluno: Davi Parca Bezerra

DELAMARO, M. E.; MALDONADO, J. C.;NEVES, VÂNIA. Evolução da ferramenta Proteum para apoio ao teste de mutação aplicado em ensaios de proficiência de software. 2022. Exame de qualificação (Mestrando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Pedro Rocha Natal

NEVES, V. O.; ANDRADE, S. A.; PEREIRA, A. M. B.. Testes de API em uma Arquitetura de Microsserviços: um estudo acerca das ferramentas e estratégias. 2023. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Brendan Fortunato Buckley

NEVES, V. O.; MONTEIRO, R. S.; SEIXAS, F. L.. Teste de Sistemas em Microsserviços: Uma Visão da Academia e da Indústria. 2023. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Felipe Genú Simões

NEVES, V. O.; MONTEIRO, R. S.; SEIXAS, FLÁVIO LUIZ. Teste de Sistemas em Microsserviços: Uma Visão da Academia e da Indústria. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Felipe Vieira Freire da Silva

NEVES, V. O.; CASTILLO, I. M.; OLIVEIRA, D. C. M.; FALCI, M. L.. Estudo comparativo de ferramentas de geração de massa de dados. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: LUCAS ROMER LEÃO

NEVES, V. O.; LINHARES, H. P.; CASTILLO, I. M.. Geração automatizada de casos de testes para funções sem servidor a partir de logs de monitoramento previamente verificados. 2022. Trabalho de Conclusão de Curso (Graduação em Sistemas de Computação) - Universidade Federal Fluminense.

Aluno: Leonardo Machado da Silva

SEIXAS, F. L.; MARQUES, C. H.;NEVES, V. O.. Migração arquitetural de sistemas de alta carga sazonal: um relato de experiência.. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Fábio da Silva Júnior

NEVES, V. O.; PAES, A.; MURTA, LEONARDO G. P.; MONTEIRO, R. S.. Antifa: um framework para testes automatizados end-to-end na web baseado em NLP.. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Jhonatan Azevedo Gonçalves

NEVES, V. O.; CLUA, E. W. G.; SALGADO, LUCIANA; ARAUJO, A. P. D.. Da terra para água: Adaptando estratégias de teste de veículos autônomos terrestres para aquáticos. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Rafael Gonçalves Rodrigues Da Cunha Vinhas

NEVES, V. O.; CAMPOS JUNIOR, H. S.; MURTA, LEONARDO G. P.. Um estudo preliminar sobre bugs reportados e métricas de testes em projetos open-source em JavaScript. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: André Luis Paiva Aloise

NEVES, V. O.; CLUA, E. W. G.; LINHARES, H. P.; KOHWALTER, T. C.. RIGGS: Uma abordagem baseada em modelos de transições de áreas para teste de jogos digitais. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Beatriz Lopes Souza

MONTEIRO, R. S.;NEVES, V. O.; SEIXAS, F. L.. Metodologias Ágeis: Análise e Comparação do Scrum, Kanban e Lean Aplicados ao Desenvolvimento de Software. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Iago Rodrigues Agualuza

NEVES, VÂNIA DE OLIVEIRA; KOHWALTER, T. C.; SEIXAS, F. L.. Uma plataforma baseada em microsserviços para auxiliar o ensino de Engenharia de Software. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Matheus Baldas Wandermurem

NEVES, VÂNIA DE OLIVEIRA; BERNARDINI, F. C.; PAES, A.; SOUZA, U.. Diferenças entre modelos de redes neurais Multilayer Perceptron: uma análise por teste de software. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Filipe Florentino Lima

NEVES, VÂNIA DE OLIVEIRA; LINHARES, H. P.; OLIVEIRA, R. A. P.; KOHWALTER, T. C.. MS-Tracing: Uma proposta de apoio automatizado para depuração de sistemas baseados em microsserviços. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Philippe Geraldeli Araujo

NEVES, VÂNIA DE OLIVEIRA; OLIVEIRA, R. A. P.; LINHARES, H. P.; DRUMMOND, L. M. A.. Uma análise comparativa de ferramentas de chaos engineering em uma arquitetura de microsserviços. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Raphael Silva de Almeida

NEVES, V. O.; CAMPOS JUNIOR, H. S.; LINHARES, H. P.. Análise da utilização de mock objects em projetos open-source. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Computação) - Universidade Federal Fluminense.

Aluno: Allana Capistrano De Oliveira

SALGADO, L. C. C.; SEIXAS, F. L.; NASCIMENTO, A.;NEVES, V. O.. Projetando Conhecimento: Um estudo de caso sobre a prática de projetos integrados em disciplinas dos cursos do Instituto de Computação da UFF. 2020. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Federal Fluminense.

Aluno: Jean Carlos Paiva Miranda

BERNARDINO, H. S.;NEVES, V. O.; OLIVEIRA, A. M.; MENEZES, G. G. L.. Estudo e aplicação de técnicas de teste de regressão para pequenos sistemas. 2020 - Universidade Federal de Juiz de Fora.

Aluno: Yule Trannin Ximenes

SALGADO, L. C. C.;NEVES, V. O.; DIIRR, B.; MAGDALENO, A. M.. Um estudo de caso sobre as percepções de profissionais de Tecnologia da Informação durante a transição de um modelo de processo tradicional para ágil. 2020 - Universidade Federal Fluminense.

Aluno: Thales de Souza Machado

SALGADO, L. C. C.;NEVES, V. O.; DIIRR, B.; MAGDALENO, A. M.. Um estudo de caso sobre as percepções de profissionais de Tecnologia da Informação durante a transição de um modelo de processo tradicional para ágil. 2020 - Universidade Federal Fluminense.

Aluno: Iuri Garcia

NEVES, V. O.; OLIVEIRA, R. A. P.; SALGADO, L. C. C.; LINHARES, H. P.. Os desafios enfrentados e os benefícios conquistados com a cultura e as práticas DevOps. 2020 - Universidade Federal Fluminense.

Aluno: Daniel Xin Xin Ye

NEVES, V. O.; SEIXAS, F. L.; MALHEIROS, A. F.; PIRES, P. F.. Abordagem de desenvolvimento de software com foco na arquitetura para os aplicativos da Fábrica de software e tecnologia para Saúde. 2020 - Universidade Federal Fluminense.

Aluno: Dayanne Nascimento Ribeiro

SALGADO, L. C. C.; DIIRR, B.;NEVES, V. O.; KALINOWSKI, M.. Aplicação de métodos IFPUG e NESMA para estimativa de tamanho de um sistema de gestão de saúde pública municipal. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Fernando Marcus de Vasconcelos Moutinho

SALGADO, L. C. C.; DIIRR, B.;NEVES, V. O.; KALINOWSKI, M.. Aplicação de métodos IFPUG e NESMA para estimativa de tamanho de um sistema de gestão de saúde pública municipal. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Thiago Augusto Sivirino

BRAGANHOLO, V.; DRUMMOND, L.;NEVES, V. O.. CHOOSE UFF - Módulo do aplicativo da UFF voltado a estudantes estrangeiros. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Erick Rezende Arruzzo

Cafezeiro, I.; Rocha, M.;NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Roberto Salviano da Silva

NEVES, V. O.; DIIRR, B.; Cafezeiro, I.; SEIXAS, F. L.. Funcionalidades de um software aplicado ao gerenciamento de desastres - um mapeamento sistemático. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Lucas Dutra Fernandes

Cafezeiro, I.; Rocha, M.;NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Paulo Henrique Dias de Oliveira

KNOP, I. O.;NEVES, V. O.; BARRERE, E.. Desenvolvimento de um ambiente virtual para aprendizagem de programação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

Aluno: Thassya de Souza Abreu

KNOP, I. O.;NEVES, V. O.; MORENO, L. L. O.. Pareamento de Questões de Programação. Um estudo de caso na disciplina de Algoritmos da Universidade Federal de Juiz de Fora. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Juiz de Fora.

Aluno: Bárbara Maria de Souza Lopes

NEVES, V. O.; OLIVEIRA, A. M.; QUINTELA, B. M.. Sistema web para farmácia solidária utilizando microsserviços. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Juiz de Fora.

Aluno: IGOR FABRI FERREIRA

JULIO, E. P.; MARTINS, D. M. S.; OLIVEIRA, A. M.;NEVES, V. O.. Análise de Desempenho entre os Frameworks Spring Boot e Jersey na Arquitetura de Microserviços. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Juiz de Fora.

Aluno: Mateus Coutinho Marim

Villela, S.M.; OLIVEIRA, A. M.; FONSECA NETO, R.;NEVES, V. O.. UFJF Machine Learning Toolkit: Projeto, desenvolvimento e utilização de um framework para algoritmos de aprendizado de máquina. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

Aluno: Matheus Silva Mendonça

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. Construção de Modelos Otimizados de Árvores Circulatórias com Nexo em Hemodinâmica Computacional. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Matheus Piazzi Machado

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. A Educação Financeira e suas Consequências na Vida Diária. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Beatriz Rocha de Moraes

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. A Utilização de Polímeros na Preparação de Nanomateriais Plasmônicos. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Hugo Camarano Belgo

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. Uso da Espectroscopia Raman Intensificada por Superfície para Caracterização de Adsorção de Biomoléculas e das Interações com Tecidos Biológicos. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Ramon Moreira e Silva

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. Desenvolvimento de Estrutura Otimizada para Fluxo de Gases para Aplicação como Eletrodos de Pilhas a Combustível de Óxido de Sólido. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Thamyres Gomes de Almeida

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. Caracterização Espectroscópica e Estrutural de Fármacos Anti-Hipertensivos, Complexos Metálicos, Polímeros de Coordenação e Hidróxidos Duplos Lamelares. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Thaís Lourenço de Oliveira

Felicio, E.C.A.; Filho, O.P.; Santos, R.W.;NEVES, V. O.. Síntese e Avaliação Biológica de Moléculas Híbridas Derivadas Dometronidazol e/ou de Fluoroquinolas. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora.

Aluno: Cleiton Duarte Pereira

NEVES, V. O.; TOLEDO, C. F. M.. Desenvolvimento de ferramenta para a integração de informações de uma plataforma e commerce. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação - USP.

Aluno: Pedro Augusto Neto

DE OLIVEIRA NEVES, VÂNIA; TRAINA, A. J. M.. Integração de Software. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Instituto de Ciências Matemáticas e de Computação - USP.

Aluno: Rafael da Silva Cardoso

NEVES, V. O.; Silva, L. J.. Sistemas Web Java Para Automação Bancária Utilizando JSF e JPA. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Instituto de Ciências Matemáticas e de Computação - USP.

Aluno: Rafael Alvarenga da Costa

NEVES, V. O.; UEYAMA, J.. Automatização da geração de produtos da LPS-BET usando a ferramenta Pure::Variants. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Instituto de Ciências Matemáticas e de Computação - USP.

Aluno: Luís Paulo Faina Garcia

NEVES, V. O.; TRINDADE JUNIOR, O.. Automação de Testes de Integração na aplicação Business to Comsumer usando a Ferramenta Selenium. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação - USP.

TIMOTEO, V. S.; PEDRONETTE, D. C. G.; LEITAO, H. C. G.; LAURETTO, M. S.;NEVES, V. O.. Comissão Julgadora do concurso de provas e títulos para o cargo de Professor Doutor, na área de Computação, nas disciplinas SI201 - Estrutura de Dados I e SI300 - Programação Orientada a Objetos I,. 2022. Universidade Estadual de Campinas.

Villela, S.M.; OLIVEIRA, A. L.;NEVES, V. O.. Concurso para Professor Substituto Edital 02/2017 - Seleção 09. 2017. Universidade Federal de Juiz de Fora.

Orientou

Thiago da Silva Barradas

A definir; Início: 2023; Dissertação (Mestrado profissional em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense; (Orientador);

João Vitor Oliveira Ferreira

Avaliação de Métodos de Explicação para Detecção Automática de Desinformação; Início: 2022; Dissertação (Mestrado profissional em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense; (Coorientador);

Raphael Silva de Almeida

Impacto da utilização de test doubles em projetos de código aberto; Início: 2020; Dissertação (Mestrado profissional em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense; (Orientador);

Isela Mendoza del Castillo

Geração de massas de dados em formato estruturado para testes automatizados; ; Início: 2021; Tese (Doutorado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Coorientador);

André Lúcio de Oliveira

Análise de merge e resolução de conflitos envolvendo refatoração de código; Início: 2021; Tese (Doutorado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense; (Coorientador);

Lucas Amaral Pinheiro da Fonseca

A definir; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense; (Orientador);

Fernando Jose da Silva Mendes

A definir; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Federal Fluminense; (Orientador);

Mario Francisco Bezerra Dos Santos

Proposta de um aplicativo de geração de legendas em tempo real visando um ensino mais inclusivo; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; (Orientador);

Arthur Egide

Geração de massa de dados para teste automáticos; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Sistemas de Computação) - Universidade Federal Fluminense; (Orientador);

Vitor Bardasson Leite

A definir; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense; (Orientador);

Renan Bastos Correa

Um guia para aplicar chaos engineering em uma arquitetura de microsserviços; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; (Orientador);

Joao Portela Madureira Castro

Adaptando Técnicas de Teste de Software Tradicionais para Teste de Modelos de Aprendizagem de Máquina: Um Estudo Em Veículos Aquáticos Autônom; Início: 2023; Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Davi Santos Santana

ATF - Automation Test Framework; Início: 2023; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Euclides da Cunha de Apoio Institucional a UFF; (Orientador);

Fernando Moreira da Silva Filho

Geração de massas de dados a partir de cenários escritos em BDD: um estudo experimental; Início: 2023; Iniciação científica (Graduando em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Gustavo Clemente Machado de Medeiros

Geração automática de casos de teste de sistemas modernos; Início: 2023; Iniciação científica (Graduando em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Maria Cecília Tavares de Oliveira

ATF - Automation Test Framework; Início: 2022; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Euclides da Cunha de Apoio Institucional a UFF; (Orientador);

Gustavo Ferreira Cosme

ATF - Automation Test Framework; Início: 2022; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Euclides da Cunha de Apoio Institucional a UFF; (Orientador);

Bruna Guerreiro Becker Legey

ATF - Automation Test Framework; Início: 2022; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Euclides da Cunha de Apoio Institucional a UFF; (Orientador);

Lucas Silveira Serrano

Um estudo sobre a adoção de testes automatizados em softwares de código aberto; Início: 2022; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Camila Morelli

Aplicando o Signifying API para investigar a testabilidade de APIs; 2022; Dissertação (Mestrado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense,; Orientador: Vânia de Oliveira Neves;

Brendan Fortunato Buckley

Teste de Sistemas em Microsserviços: Uma Visão da Academia e da Indústria; 2023; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Felipe Genú Simões

Teste de Sistemas em Microsserviços: Uma Visão da Academia e da Indústria; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Pedro Rocha Natal

Testes de API em uma Arquitetura de Microsserviços: um estudo acerca das ferramentas e estratégias; 2023; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Felipe Vieira Freire da Silva

Estudo comparativo de ferramentas de geração de massa de dados; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Jhonatan Azevedo Gonçalves

Da terra para água: Adaptando estratégias de teste de veículos autônomos terrestres para aquáticos; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

LUCAS ROMER LEÃO

Geração automatizada de casos de testes para funções sem servidor a partir de logs de monitoramento previamente verificados; 2022; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Felipe Genú Simões

Teste de Sistemas em Microsserviços: Uma Visão da Academia e da Indústria; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Fábio da Silva Júnior

Antifa: um framework para testes automatizados end-to-end na web baseado em NLP; 2022; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Rafael Gonçalves Rodrigues Da Cunha Vinhas

Um estudo preliminar sobre bugs reportados e métricas de testes em projetos open-source em JavaScript; 2022; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

André Luis Paiva Aloise

RIGGS: Uma abordagem baseada em modelos de transições de áreas para teste de jogos digitais; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Iago Rodrigues Agualuza

Quality Gamer: Uma plataforma baseada em microsserviços para auxiliar o ensino de Engenharia de Software; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Philippe Geraldeli Araujo

Uma análise comparativa de ferramentas de chaos engineering em uma arquitetura de microsserviços; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Filipe Florentino Lima

MS-Tracing: Uma proposta de apoio automatizado para depuração de sistemas baseados em microsserviços; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Matheus Baldas Wandermurem

Diferenças entre modelos de redes neurais Multilayer Perceptron: uma análise por teste de software; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Raphael Silva de Almeida

Análise da utilização de mock objects em projetos open-source; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Iuri Garcia

Os desafios enfrentados e os benefícios conquistados com a cultura e as práticas DevOps; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Daniel Xin Xin Ye

Abordagem de desenvolvimento de software com foco na arquitetura para os aplicativos da Fábrica de software e tecnologia para Saúde; 2020; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Roberto Salviano da Silva

Funcionalidades de um software aplicado ao gerenciamento de desastres - um mapeamento sistemático; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Hugo Tavares de Almeida

Geração de dados de teste para softwares de processamento de imagem; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências Exatas) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Bárbara Maria de Souza Lopes

Sistema web para farmácia solidária utilizando microsserviços; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Isadora Pacheco Ribeiro

Um estudo sobre a adoção de testes automatizados em softwares de código aberto; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

Bruna Guerreiro Becker Legey

Geração de massa de dados a partir de scripts de BDD; 2022; Iniciação Científica; (Graduando em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

Rafael Gonçalves Rodrigues Da Cunha Vinhas

Um estudo sobre métricas de testes em projetos de código aberto escritos em JavaScript; 2022; Iniciação Científica; (Graduando em Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

LUCAS ROMER LEÃO

MicroBug: uma ferramenta para teste e depuração de sistemas baseados em microsserviços; 2022; Iniciação Científica; (Graduando em Sistemas de Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

LUCAS LABRE DE MELO

Teste de Sistemas-de-Sistemas baseado em Missões; 2021; Iniciação Científica - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

LUCAS ROMER LEÃO

MITGa: Uma ferramenta para geração de casos de teste de integração de microsserviços; 2021; Iniciação Científica - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

Bruna Becker

Investigando Testabilidade com a ferramenta Signifying APIs; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Jhonatan Azevedo Gonçalves

Teste de Sistemas-de-Sistemas baseado em Missões; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vânia de Oliveira Neves;

Hugo Tavares de Almeida

Extensão da ferramenta PATeCa para apoio a automatização do teste estrutural de software de sistemas robóticos móveis; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

João Paulo Dias

Automatização do teste de software no contexto de sistemas modernos; 2019; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Jean Carlos Paiva Miranda

Teste de Sistemas de Sistemas baseado em Missões; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Mariana Ferreira dos Santos

Ações de comunicação para o 42o Congresso da Sociedade Brasileira de Computação; 2022; Orientação de outra natureza; (Cinema e Audiovisual) - Universidade Federal Fluminense, PROEX; Orientador: Vânia de Oliveira Neves;

Juliana Bernardo Câmara

Projeto de Extensão - Solidarize-sw - Desenvolvimento de softwares e aplicativos para a sociedade; 2020; Orientação de outra natureza - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Gustavo Rodrigo Alves Bizerra

Projeto de Extensão - Solidarize-sw - Desenvolvimento de softwares e aplicativos para a sociedade; 2020; Orientação de outra natureza - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Juan Pablo Monteiro Fernandes

Projeto de Monitoria para as disciplinas Programação Orientada a Objetos e Qualidade e Teste; 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Mariana Trevizani Nocelli

Projeto de Extensão em Interface com Pesquisa - MinasDevTest - MIcroServices DEVelopment and TESTing; 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Rodolpho Nazareth Rossete de Souza

Projeto de Extensão em Interface com Pesquisa - MinasDevTest - MIcroServices DEVelopment and TESTing (Extensão em Interface com a Pesquisa); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Maxwell Souza de Carvalho

Treinamento Profissional - Desenvolvimento de Sistema para Doação e Solicitação de Medicamentos; 2019; Orientação de outra natureza - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

VINICIUS DE CASTRO SAMPAIO

Treinamento Profissional - Desenvolvimento de Sistema para Doação e Solicitação de Medicamentos; 2019; Orientação de outra natureza - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Alex da Silva Maroco

Treinamento Profissional - Desenvolvimento de Sistema para Doação e Solicitação de Medicamentos; 2019; Orientação de outra natureza - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Dener Malta Viana

Treinamento Profissional - Automatização do Teste Estrutural de Software; 2019; Orientação de outra natureza - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Marcelo Gonçalves

Projeto de Extensão - Sistemas de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito - Projeto de Extensão; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Seany Caroliny Oliveira Silva

Projeto de Extensão - Sistemas de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito - Projeto de extensão; 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

FABIANO DO NASCIMENTO

Projeto de Extensão - Solidarize-sw: desenvolvimento de softwares e aplicativos para a sociedade; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Vitor Gabriel de Souza Alencar

Supervisor em estágio em docência da disciplina Qualidade e Teste; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

William Guilherme Evangelista de Souza

Projeto de Extensão - Solidarize-sw: desenvolvimento de softwares e aplicativos para a sociedade; 2019; Orientação de outra natureza; (Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Luccas de Oliveira Silva

Projeto de Extensão - Solidarize-sw: desenvolvimento de softwares e aplicativos para a sociedade; 2019; Orientação de outra natureza; (Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Juliana Bernardo Câmara

Projeto de Extensão - Solidarize-sw - Desenvolvimento de softwares e aplicativos para a sociedade; 2019; Orientação de outra natureza; (Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Daniella Magalhaes Siqueira

Projeto de Extensão - Solidarize-sw - Desenvolvimento de softwares e aplicativos para a sociedade; 2019; Orientação de outra natureza; (Sistemas de Computação) - Universidade Federal Fluminense; Orientador: Vânia de Oliveira Neves;

Jean Carlos Paiva Miranda

Treinamento Profissional - Automatização do Teste Estrutural de Software; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

FILIPE BARRETO DE OLIVEIRA

Projeto de Extensão - Sistema de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2018; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Helder Linhares Bertoldo dos Reis

Treinamento Profissional - Automatização do teste estrutural de software; 2018; Orientação de outra natureza; (Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Rodolpho Nazareth Rossete de Souza

Projeto de Extensão - Sistemas de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2018; Orientação de outra natureza; (Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Ronaldo Modesto Ponciano

Projeto de Extensão - Sistemas de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2018; Orientação de outra natureza; (Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Weslley Nascimento Araújo

Projeto de Extensão - Sistemas de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2018; Orientação de outra natureza; (Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Eduardo Rocha Soares

Supervisor de Tutoria de Ensino da disciplina Estruturas de Dados II; 2018; Orientação de outra natureza - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Hugo Tavares de Almeida

Treinamento Profissional - Automatização do teste estrutural de software; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Igor Oliveira Mageste

Projeto de Extensão - Sistema de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2017; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Pedro Ivo Pereira Lancellotta

Supervisor de Tutoria de Ensino da disciplina Estruturas de Dados II; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Márcio Tadeu Oliveira Júnior

Supervisor de Tutoria de Ensino da disciplina Estruturas de Dados II; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Emanuel Parreiras

Supervisor de Monitoria da Disciplina Estruturas de Dados II; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Thassya de Souza Abreu

; Projeto de Extensão - Sistema de Apoio ao Núcleo de Prática Jurídica da Faculdade de Direito; 2017; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Heleno de Souza Campos Junior

Supervisor de Tutoria de Ensino da disciplina DCC025 - Orientação a Objetos; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Juiz de Fora; Orientador: Vânia de Oliveira Neves;

Pedro Henrique Dias Valle

Supervisor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC0300 - Linguagens de Programação e Aplicações; 2015; Orientação de outra natureza - Instituto de Ciências Matemáticas e de Computação - USP; Orientador: Vânia de Oliveira Neves;

Brauner Roberto do Nascimento Oliveira

Supervisor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC0124 - Análise e Projeto Orientados a Objetos; 2015; Orientação de outra natureza - Instituto de Ciências Matemáticas e de Computação - USP; Orientador: Vânia de Oliveira Neves;

Victor Hugo Santiago Costa Pinto

Supervisor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC0300 - Linguagens de Programação e Aplicações; 2015; Orientação de outra natureza - Instituto de Ciências Matemáticas e de Computação - USP; Orientador: Vânia de Oliveira Neves;

Produções bibliográficas

  • NEVES, V. O. ; MELO, S. M. ; VIANA, D. ; SANTOS, R. P. ; GRACIANO NETO, V. V. . Challenges on the Brazilian Information Systems Education: The Professors? Perspective. IEEE TRANSACTIONS ON EDUCATION , v. 66, p. 1-12, 2023.

  • LONETTI, FRANCESCA ; OLIVEIRA NEVES, VÂNIA ; BERTOLINO, ANTONIA . Designing and testing systems of systems: From variability models to test cases passing through desirability assessment. Journal of Software-Evolution and Process , v. n/a, p. 1-35, 2022.

  • PASCHOAL, LEO NATAN ; MELO, SILVANA MORITA ; NEVES, VÂNIA DE OLIVEIRA ; CONTE, TAYANA UCHÔA ; DE SOUZA, SIMONE DO ROCIO SENGER . An experimental study on a conversational agent in software testing lessons. INFORMATICS IN EDUCATION , v. 00, p. 1-22, 2022.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Combination and mutation strategies to support test data generation in the context of autonomous vehicles. International Journal of Embedded Systems , v. 8, p. 464-482, 2016.

  • OLIVEIRA, A. L. ; NEVES, V. O. ; PLASTINO, A. ; BIBIANO, A. C. ; GARCIA, A. ; MURTA, L. . Do code refactorings influence the merge effort?. In: International Conference on Software Engineering (ICSE), 2023, Melbourne. ICSE '23: Proceedings of the 44th International Conference on Software Engineering, 2023.

  • NEVES, V. O. ; GARCÉS, LINA ; MELO, S. M. . 18+ years of Brazilian Symposium on Information Systems: Results of a Scope Review. In: XIX Simpósio Brasileiro de Sistemas de Informação, 2023, Maceió. Anais do XIX Simpósio Brasileiro de Sistemas de Informação, 2023.

  • GONCALVES, J. A. ; LONETTI, FRANCESCA ; NEVES, V. O. . Automated Derivation of Test Requirements for Systems of Systems. In: 18th Annual System Of Systems Engineering Conference, 2023, Lille. Proceedings of the 18th Annual System Of Systems Engineering Conference, 2023.

  • PARDO GARCIA MORELLI, CAMILA ; DE OLIVEIRA NEVES, VÂNIA ; SALGADO, LUCIANA . Investigando Comunicabilidade e Testabilidade com a ferramenta Signifying APIs. In: Computer on the Beach, 2021, Online. Anais do XII Computer on the Beach - COTB '21. São José: Universidade do Vale do Itajaí, 2021. p. 443-450.

  • DIIRR, B. ; NEVES, V. O. ; CUNHA, M. V. V. A. ; REIS, A. B. K. ; SOUZA, J. F. . Software Requirements for Disaster Management Systems: A study of literature and practice. In: International Conference on Information Systems for Crisis Response and Management, 2021, Virginia (online). Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management (ISCRAM), 2021. p. 1042-1054.

  • MACHADO, THALES DE SOUZA ; XIMENES, YULE TRANNIN ; NEVES, VÂNIA DE OLIVEIRA ; SALGADO, LUCIANA CARDOSO DE CASTRO . A case study on the perceptions of I.T. professionals during the transition from a traditional to an agile process model. In: SBSI 2021: XVII Brazilian Symposium on Information Systems, 2021, Uberlândia Brazil. XVII Brazilian Symposium on Information Systems, 2021. p. 1-8.

  • DE OLIVEIRA, ALLANA CAPISTRANO ; SALGADO, LUCIANA CARDOSO DE CASTRO ; NEVES, VÂNIA DE OLIVEIRA ; SEIXAS, FLÁVIO LUIZ . Um Estudo Sobre a Prática de Projetos Integrados em Turmas de Engenharia de Software e Interação Humano-Computador. In: Anais Estendidos do Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais, 2021, Brasil. Anais Estendidos do XX Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2021), 2021. p. 91.

  • NEVES, VÂNIA DE OLIVEIRA ; GARCÉS, LINA ; NETO, VALDEMAR GRACIANO GRACIANO . Towards Educational Systems-of-Information Systems. In: SBSI'20: XVI Brazilian Symposium on Information Systems, 2020, São Bernardo do Campo Brazil. XVI Brazilian Symposium on Information Systems. p. 1-8.

  • BERTOLINO, ANTONIA ; ANGELIS, GUGLIELMO DE ; LONETTI, FRANCESCA ; NEVES, VANIA DE OLIVEIRA ; OLIVERO, MIGUEL ANGEL . EDUFYSoS: A Factory of Educational System of Systems Case Studies. In: 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, Budapest. 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020. p. 205-210.

  • BERTOLINO, ANTONIA ; LONETTI, FRANCESCA ; DE OLIVEIRA NEVES, VANIA . Standing on the Shoulders of Software Product Line Research for Testing Systems of Systems. In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020, Coimbra. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2020. p. 209-214.

  • DA SILVA, RÔMULO MARTINS ; CRUZ, CAFER ; DE S. CAMPOS, HELENO ; MURTA, LEONARDO G. P. ; DE OLIVEIRA NEVES, VÂNIA . What is the adoption level of automated support for testing in open-source ecosystems?. In: the IV Brazilian Symposium, 2019, Salvador. Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing - SAST 2019, 2019. p. 80-89.

  • TAVARES DE ALMEIDA, HUGO ; CARLOS PAIVA MIRANDA, JEAN ; DE OLIVEIRA NEVES, VÂNIA . Colabore!: uma plataforma para identificação e colaboração de especialistas. In: XV Simpósio Brasileiro de Sistemas de Informação, 2019, Aracaju/SP. Anais Estendidos do Simpósio Brasileiro de Sistemas de Informação (SBSI). Porto Alegre: Sociedade Brasileira de Computação (SBC), 2019. p. 126-127.

  • ALVES, RIAN ; DIAS, JOÃO ; GARCÉS, LINA ; NEVES, VÂNIA . PharmaSpy: um sistema de apoio a área de Farmacovigilância. In: XV Simpósio Brasileiro de Sistemas de Informação, 2019, Aracaju/SE. Anais Estendidos do Simpósio Brasileiro de Sistemas de Informação (SBSI). Porto Alegre: Sociedade Brasileira de Computação (SBC), 2019. p. 136-137.

  • DE ANDRADE, STEVÃO ALVES ; DE OLIVEIRA NEVES, VÂNIA ; DELAMARO, MÁRCIO EDUARDO . Software Testing Education. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019, 2019. p. 47-56.

  • DE OLIVEIRA NEVES, VÂNIA ; BERTOLINO, ANTONIA ; DE ANGELIS, GUGLIEMO ; GARCÉS, LINA . Do we need new strategies for testing systems-of-systems?. In: the 6th International Workshop, 2018, Gothenburg. Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems - SESoS '18, 2018. p. 29-32.

  • MIRANDA, J. C. P. ; ALMEIDA, H. T. ; NEVES, V. O. . PySoCA - Python Source-code Coverage and Analysis. In: IX Congresso Brasileiro de Software (CBSoft 2018) - Sessão de Ferramentas, 2018, São Carlos/SP. Anais do IX Congresso Brasileiro de Software (CBSoft 2018) - Sessão de Ferramentas, 2018.

  • SEROA, IAGO ; BERTOLDO, HELDER ; NEVES, VÂNIA . TesterDS: uma maneira fácil e estimulante para aprender Estruturas de Dados. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza, 2018. p. 864-873.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Automated Structural Software Testing of Autonomous Vehicles. In: XX Ibero-American Conference on Software Engineering, 2017, Buenos Aires. Proceedings of XX Ibero-American Conference on Software Engineering. Buenos Aires: Universidad Nacional de La Matanza, 2017. p. 15-28.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos. In: VIII Congresso Brasileiro de Software (CBSoft 2017) - Sessão de Ferramentas, 2017, Fortaleza. Anais da Sessão de Ferramentas do Congresso Brasileiro de Software, 2017. p. 57-64.

  • MAGALHÃES, NATHAN MANERA ; DE SOUZA CAMPOS JUNIOR, HELENO ; ARAÚJO, MARCO ANTÔNIO PEREIRA ; DE OLIVEIRA NEVES, VÂNIA . An Automated Refactoring Approach to Remove Unnecessary Complexity in Source Code. In: the 2nd Brazilian Symposium, 2017, Fortaleza. Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing - SAST, 2017. p. 1.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. In: XVIII Ibero-American Conference on Software Engineering, 2015, Lima. Proceedings of the XVIII Ibero-American Conference on Software Engineering, 2015. v. 1. p. 181-194.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. In: 8th Brazilian Workshop on Systematic and Automated Software Testing, 2014, Maceió. Proceedings of the 8th Brazilian Workshop on Systematic and Automated Software Testing. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 2. p. 41-50.

  • NEVES, VANIA DE OLIVEIRA ; DELAMARO, MARCIO EDUARDO ; MASIERO, PAULO CESAR . An Environment to Support Structural Testing of Autonomous Vehicles. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering, 2014. v. 1. p. 19-24.

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. ; Mendes, C. C. T. ; Wolf, D. F. . Structural Testing of Autonomous Vehicles. In: The Twenty-Fifth International Conference on Software Engineering & Knowledge Engineering, 2013, Boston/EUA. Proceedings of the Twenty-Fifth International Conference on Software Engineering & Knowledge Engineering. Skokie, IL: Knowledge Systems Institute Graduate School, 2013. p. 200-205.

  • Carvalho, L.A.F. ; NEVES, V. O. ; Masiero, P.C. . Structural Testing of Exceptions Handling. In: The Twenty-Fifth International Conference on Software Engineering & Knowledge Engineering, 2013, Boston/EUA. Procedings of the Twenty-Fifth International Conference on Software Engineering & Knowledge Engineering. Skokie, IL: Knowledge Systems Institute Graduate School, 2013. p. 206-209.

  • NEVES, V. O. ; Masiero, P.C. . Extensão da Ferramenta JaBUTi/AJ para Teste de Integração de Programas Orientados a Objetos e a Aspectos. In: II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011), 2011, São Paulo. XVIII Sessão de Ferramentas / II Congresso Brasileiro de Software : Teoria e Prática, 2011. v. 04. p. 51-57.

  • NEVES, V. O. ; Masiero, P.C. ; DELAMARO, M. E. ; NAKAGAWA, E. Y. . Uma Revisão Sistemática sobre Teste Estrutural de Software em Sistemas Embarcados. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011), 2011, São Paulo. V Workshop Brasileiro de Teste de Software Sistemático e Automatizado / II Congresso Brasileiro de Software : Teoria e Prática, 2011. v. 13. p. 41-50.

  • NEVES, V. O. ; Lemos, O.A.L. ; Masiero, P.C. . Teste Estrutural de Integração Nível 1 de Programas Orientados a Objetos e Aspectos. In: LA-WASP 2009, 2009, Fortaleza. III Latin American Workshop on Aspect-Oriented Software Development, 2009. p. 31-38.

  • NEVES, V. O. ; MELO, S. M. ; GARCES, L. . 18+ years of Brazilian Symposium on Information Systems: Results of a Scope Review. 2023. (Apresentação de Trabalho/Simpósio).

  • DE ANDRADE, STEVÃO ALVES ; NEVES, V. O. ; DELAMARO, MÁRCIO EDUARDO . Software Testing Education: dreams and challenges when bringing academia and industry closer together. 2019. (Apresentação de Trabalho/Conferência ou palestra).

  • NEVES, V. O. ; BERTOLINO, A. ; ANGELIS, G. ; GARCES, L. . Do we need new strategies for testing Systems-of-Systems?. 2018. (Apresentação de Trabalho/Conferência ou palestra).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Automated Structural Software Testing of Autonomous Vehicles. 2017. (Apresentação de Trabalho/Conferência ou palestra).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . PATeCa: uma ferramenta de apoio ao teste estrutural de veículos autônomos. 2017. (Apresentação de Trabalho/Congresso).

  • NEVES, V. O. . Teste de aplicações web: panorama e desafios. 2017. (Apresentação de Trabalho/Conferência ou palestra).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos. 2015. (Apresentação de Trabalho/Congresso).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. 2014. (Apresentação de Trabalho/Outra).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. . An environment to support structural testing of autonomous vehicles. 2014. (Apresentação de Trabalho/Simpósio).

  • NEVES, V. O. . A contribution to the definition and automation of structural testing of autonomous vehicles. 2014. (Apresentação de Trabalho/Simpósio).

  • NEVES, V. O. ; DELAMARO, M. E. ; Masiero, P.C. ; Mendes, C. C. T. ; Wolf, D. F. . Structural Testing of Autonomous Vehicles. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • Carvalho, L.A.F. ; NEVES, V. O. ; Masiero, P.C. . Structural Testing of Exceptions Handling. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • NEVES, V. O. . Teste estrutural de veículos autônomos. 2013. (Apresentação de Trabalho/Seminário).

  • NEVES, V. O. ; SOUZA, D. M. . Linhas de Pesquisa do grupo ESSI - Software Engineering and Information Systems. 2013. (Apresentação de Trabalho/Outra).

  • NEVES, V. O. . Uma contribuição à definição e automatização do teste estrutural de software de sistemas embarcados. 2012. (Apresentação de Trabalho/Congresso).

  • NEVES, V. O. ; Lemos, O.A.L. ; Masiero, P.C. . Teste Estrutural de Integração Nível 1 de Programas Orientados a Objetos e Aspectos. 2009. (Apresentação de Trabalho/Congresso).

Outras produções

NEVES, V. O. ; MASIERO, P C . Software de apoio ao planejamento da linha produtiva da empresa Electrolux. 2016.

NEVES, V. O. ; Masiero, P.C. ; DELAMARO, M. E. . PATeCa. 2014.

Masiero, P.C. ; Lemos, O.A.L. ; FRANCHIN, I. G. ; NEVES, V. O. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . JaBUTi/AJ. 2009.

NEVES, V. O. . Datacana. 2006.

NEVES, V. O. . Membro do Comitê de Programa do XXVI Ibero-American Conference on Software Engineering (CIbSE 2023). 2023.

NEVES, V. O. . Membro do Comitê de Programa do XXXVII Brazilian Symposium on Software Engineering (SBES 2023) - Research Track. 2023.

NEVES, V. O. . Membro do Comitê de Programa do XXXVII Brazilian Symposium on Software Engineering - Education Track. 2023.

NEVES, V. O. . Membro do Comitê de Programa do 36th Brazilian Symposium on Software Engineering - Education Track. 2022.

NEVES, V. O. . Membro do Comitê de Programa do 36th Brazilian Symposium on Software Engineering - Research Track,. 2022.

NEVES, V. O. . Membro do Comitê de Programa do 3rd Undergraduate Research on Software Engineering Competition. 2022.

NEVES, V. O. . Membro do Comitê de Programa do 7th Brazilian Symposium on Systematic and Automated Software Testing,. 2022.

NEVES, V. O. . Membro do Comitê de Programa do Simpósio Brasileiro de Qualidade de Software 2022 - Trilha de Pesquisa. 2022.

NEVES, V. O. . Membro do Comitê de Programa do XXV Ibero-American Conference on Software Engineering (CibSE). 2022.

NEVES, V. O. . Membro do Comitê de Programa do 4th International Conference on the Quality of Information and Communications Technology - ICT Verification and Validation Track. 2021.

NEVES, V. O. . Membro do Comitê de Programa do 24th Iberoamerican Conference on Software Engineering (CibSE). 2021.

NEVES, V. O. . Membro do Comitê de Programa do 3rd Intl. Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS). 2021.

NEVES, V. O. . Membro do Comitê de Programa do IEEE International Conference on Software Testing, Verification and Validation 2021 ? Industry Track. 2021.

NEVES, V. O. . Membro do Comitê de Programa do II Concurso de Trabalhos de Iniciação Científica do SBES. 2021.

NEVES, V. O. . Membro do Comitê de Programa do 35o Simpósio Brasileiro de Engenharia de Software ? Trilha de Pesquisa. 2021.

NEVES, V. O. . Membro do Comitê de Programa do 35o Simpósio Brasileiro de Engenharia de Software ? Trilha de Educação,. 2021.

NEVES, V. O. . Membro do Comitê de Programa do 35o Simpósio Brasileiro de Engenharia de Software ? Trilha de Ideias Inovadoras e Resultados Emergentes. 2021.

NEVES, V. O. . Membro do Comitê de Programa do XX Simpósio Brasileiro de Qualidade de Software - Trilha de Educação. 2021.

NEVES, V. O. . Membro do Comitê de Programa do XX Simpósio Brasileiro de Qualidade de Software - Trilha de Pesquisa. 2021.

NEVES, V. O. . Membro do Comitê de Programa do VI Brazilian Symposium on Systematic and Automated Software Testing (SAST). 2021.

NEVES, V. O. . Membro do Comitê de Programa do 13th International Conference on the Quality of Information and Communications Technology - ICT Verification and Validation Track. 2020.

NEVES, V. O. . Membro do Comitê de Programa do 2nd Intl. Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS). 2020.

NEVES, V. O. . Membro do Comitê de Programa do 5 WASHES - Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software,. 2020.

NEVES, V. O. . Membro do Comitê de Programa do 34o Simpósio Brasileiro de Engenharia de Software 2020 ? Trilha de Educação. 2020.

NEVES, V. O. . Membro do Comitê de Programa do 34o Simpósio Brasileiro de Engenharia de Software 2020 ? Trilha de Ideias Inovadoras e Resultados Emergentes. 2020.

NEVES, V. O. . Membro do Comitê de Programa do XIX Simpósio Brasileiro de Qualidade de Software - Trilha de Educação. 2020.

NEVES, V. O. . Membro do Comitê de Programa do XIX Simpósio Brasileiro de Qualidade de Software - Trilha de Relatos de Experiência. 2020.

NEVES, V. O. . Membro do Comitê de Programa do XIX Simpósio Brasileiro de Qualidade de Software - Trilha de Pesquisa. 2020.

NEVES, V. O. . Membro do Comitê de Programa do V Brazilian Symposium on Systematic and Automated Software Testing (SAST). 2020.

NEVES, V. O. . Membro do Comitê de Programa do X Workshop on Theses and Dissertations of CBSoft (WTDSoft 2020). 2020.

NEVES, V. O. . Membro do Comitê de Programa do XVI Simpósio Brasileiro de Sistemas de Informação (SBSI). 2020.

NEVES, V. O. . Membro do Comitê de Programa do ACM Special Interest Group on Computer Science Education (SIGCSE 2020) - Experience Reports and Tools Track. 2020.

NEVES, V. O. . Membro do Comitê de Programa do WoRkshop on System and Acceptance Testing (WRSAT 2020). 2020.

NEVES, V. O. . 4 WASHES - Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software. 2019.

NEVES, V. O. . Membro do Comitê de Programa do IV Brazilian Symposium on Systematic and Automated Software Testing (SAST). 2019.

NEVES, V. O. . Membro do Comitê de Programa do International Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS). 2019.

NEVES, V. O. . Membro do Comitê de Programa do Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS). 2019.

NEVES, V. O. . Membro do Comitê de Programa do Workshop on Theses and Dissertations of CBSoft (WTDSoft 2019). 2019.

NEVES, V. O. . Membro do Comitê de Programa do XV Simpósio Brasileiro de Sistemas de Informação (SBSI). 2019.

NEVES, V. O. . Membro do Comitê de Programa do III Simpósio Brasileiro de Teste de Software Sistemático e Automatizado. 2018.

NEVES, V. O. . Membro do Comitê de Programa do VIII Workshop de Teses e Dissertações do CBSoft (WTDSOFT 2018). 2018.

NEVES, V. O. . Membro do Comitê de Programa do 5th International Conference on Information Management and Big Data (SIMBig). 2018.

NEVES, V. O. . Membro do Comitê de Programa do SimES - Simpósio de Engenharia Software da UTFPR-DV. 2017.

NEVES, V. O. . Membro do Comitê de Programa do The Social Network and Media Analysis and Mining (SNMAM). 2017.

NEVES, V. O. . Introdução ao teste de software: conceitos básicos e teste de mutação. 2022. (Curso de curta duração ministrado/Extensão).

CUTIGI, J. F. ; NEVES, V. O. . Introdução ao Hibernate. 2008. (Curso de curta duração ministrado/Outra).

NEVES, V. O. . Macromedia Flash MX. 2003. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

  • 2022 - Atual

    PROJETO ADDPRIMEUP - Inteligência Artificial aplicada às áreas de Finanças, Mercado de Capitais e Análise de Investimentos, Descrição: O projeto ADDPrimeUp tem como objetivo desenvolver soluções que irão promover a melhoria do processo de trabalho dos especialistas e a preservação do conhecimento e das metodologias de trabalho. Além disso, a aplicação do método de trabalho nos diferentes domínios da gestão de Finanças, Mercado de Capitais e Análise de Investimentos, irá proporcionar economia de tempo e recursos durante o desenvolvimento de projetos. O projeto possui no momento três principais frentes de atuação: Plataforma de CrowdSourcing, Automatização de Testes e BI/Proveniência de Dados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Doutorado: (1) . , Integrantes: Vânia de Oliveira Neves - Integrante / Rodrigo Salvador Monteiro - Coordenador., Financiador(es): Fundação Euclides da Cunha de Apoio Institucional a UFF - Cooperação.

  • 2021 - 2022

    Strategies for automating testing of hybrid System-of-Systems, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Coordenador / Baishakhi Ray - Integrante.

  • 2021 - Atual

    Desenvolvimento de uma Metodologia para definição de Ensaios de Proficiência em Avaliação de Software, Descrição: Um Ensaio de Proficiência consiste na avaliação do desempenho de um conjunto de participantes com base em critérios pré-estabelecidos. Ele geralmente é aplicado em contextos onde organismos que realizam a avaliação da conformidade de determinado produto necessitam ter a competência dos participantes demonstrada por meio de uma inter comparação. Embora os Ensaios de Proficiência tenham métodos e procedimentos muito bem definidos em diferentes áreas do conhecimento, o mesmo não ocorre quando os organismos responsáveis têm que avaliar produtos de software. Tal dificuldade se dá principalmente em função da inerente subjetividade associada à avaliação da conformidade de um produto de software, bem como da dificuldade em se determinar métricas eficientes para se verificar quão eficiente é um determinado procedimento de avaliação. Em resposta a isso, o presente projeto propõe o desenvolvimento de uma metodologia própria para especificação de Ensaios de Proficiência em Avaliação de Software, que inclua procedimentos e métricas eficientes para determinar o grau de competência com que um organismos ou laboratório pode avaliar e atestar a conformidade de produtos software. Esta iniciativa é de grande interesse da academia, indústria e governos, considerando-se que cada vez mais provedores de soluções baseadas em software recorrem a avaliações de terceira parte para atestar a conformidade de seus produtos, e consequentemente precisam confiar que os organismos que prestam esses serviços são devidamente competentes.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Márcio Eduardo Delamaro - Integrante / Paulo Sergio Lopes de Souza - Integrante / Raphael Carlos Santos Machado - Integrante / Wladmir Araujo Chapetta - Integrante / Paulo Roberto de Mesquita Nascimento - Integrante / WILSON DE SOUZA MELO JUNIOR - Integrante / Simone do Rocio Senger de Souza - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2020 - 2022

    NitCIM (Niterói smart City Information Modeling) ? Uma análise de viabilidade da implementação de CIM/BIM pela Prefeitura Municipal de Niterói, Descrição: O conceito de Cidade Inteligente surgiu na esperança de superar os desafios enfrentados pelos centros urbanos, fornecendo uma integração efetiva de sistemas físicos, digitais e humanos em seu ambiente construído. Geralmente, esses sistemas são distribuídos, heterogêneos e desenvolvidos por diferentes organizações, tecnologias e formato de dados, dificultando a integração e interação entre eles. Nesse contexto, a estratégia BIM (Building Information Modeling) de automação universal de projetos oferece grande potencial de utilização no planejamento, construção, manutenção e gerenciamento da infraestrutura de cidades, transformando radicalmente a maneira como edifícios individuais são pensados. Indo além, o CIM (City Information Modeling) oferece uma plataforma extremamente abrangente, permitindo que arquitetos, planejadores e outros profissionais colaborem em projetos e simulações que impactam a cidade como um todo. A adoção do BIM/CIM em diversos setores cria uma tendência ao uso de nuvens (Cloud-BIM) e utilização em simulações, trazendo uma necessidade de estratégia de versionamento. Outro ponto importante é garantir que os dados e modelos sejam confiáveis, necessitando estratégias de verificação e auditoria. Sendo assim, o objetivo desse projeto é entregar, no contexto de BIM/CIM: (1) uma análise da demanda e estado atual da adoção no âmbito da Prefeitura de Niterói; (2) treinamentos utilizando gamificação; (3) um estudo de viabilidade; (4) um modelo para Cloud-BIM; (5) um modelo de versionamento; e (6) uma técnica para verificação dos projetos. Portanto, este projeto pretende auxiliar e orientar na coordenação da estruturação da Prefeitura para a adoção do BIM/CIM, criando condições favoráveis para o investimento público e privado e estimulando a capacitação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Leonardo Gresta Paulino Murta - Integrante / Troy Costa Kohwalter - Integrante / André Maués Brabo Pereira - Coordenador / Eugene Francis Vinod Rebello - Integrante / Maria Cristina Silva Boeres - Integrante., Financiador(es): Prefeitura de Niterói - Auxílio financeiro.

  • 2020 - Atual

    Crescimento Desordenado de Cidades: Usando Dados para Entender Problemas e Propor Soluções, Descrição: Estudos recentes apontam que 68% da população mundial viverá em regiões urbanas até 2050. Um dos grandes desafios gerados pelo aumento da população das grandes cidades é a criação de políticas públicas de controle do processo de urbanização. Se por um lado regiões urbanas que crescem de forma estruturada gerenciam melhor seus recursos e serviços, e oferecem melhor qualidade de vida a sua população, regiões que evoluem desordenadamente usualmente enfrentam problemas com transportes públicos, trânsito, enchentes, deslizamentos de encostas entre outros. Os problemas ocasionados pela urbanização desordenada podem ser estudados através de diversos indicadores, descritos não apenas através de conjuntos de dados disponibilizados pelas prefeituras e prestadoras de serviços de grandes centros urbanos, mas também através de dados alternativos como os de redes sociais, aplicativos de celular, entre outros. Neste projeto, usaremos dados urbanos de fontes oficiais e alternativas para entender problemas relacionados ao processo de urbanização de grandes cidades, propor soluções e simular os efeito das soluções propostas. Utilizaremos conhecimentos das áreas de Banco de Dados, Engenharia de Software, Inteligência Artificial, Linguagens Formais, Otimização, Visão Computacional e Visualização de Informação para produzir metodologias, algoritmos e sistemas que dêem suporte a setores sensíveis da administração urbana como mobilidade urbana e infraestrutura, tentando responder questões como: Como melhorar o transporte público sem precisar de investimentos em obras de infraestrutura? Como preparar a cidade para a ocorrência de grandes volumes de chuva?. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Coordenador / Marcos de Oliveira Lage Ferreira - Integrante / Isabel Cristina Mello Rosseti - Integrante / Yuri Abitbol de Menezes Frota - Integrante / Leandro Augusto Frata Fernandes - Integrante / Antônio Augusto de Aragão Rocha - Integrante / Daniel de Oliveira - Integrante / Aline Paes - Integrante / Vanessa Braganholo Murta - Integrante / Bruno Lopes - Integrante., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2019 - Atual

    Teste de Sistemas-de-Sistemas baseado em Missões, Descrição: Sistemas de software cada vez mais têm se tornado complexos, de larga escala, distribuídos e com escopo definido dinamicamente. Além disso, novas demandas de negócios exigem a integração de sistemas de software existentes para alcançar missões que não podem ser abordadas por nenhum deles de forma isolada. Esse contexto trouxe o conceito de Sistemas de- Sistemas (SoSs, do inglês Systems-of-Systems), no qual um conjunto de sistemas independentes coopera para alcançar missões mais amplas que eles realizam individualmente. SoSs possuem características próprias que dificultam e tornam algumas etapas de seu processo de desenvolvimento desafiador, entre elas o teste de software. Embora existam vários trabalhos que discutem os desafios e possíveis metodologias em alto nível para o teste de SoS, poucos propõem estratégias efetivas, levando a uma lacuna entre as abordagens existentes e como elas podem ser utilizadas e/ou adaptadas nesse contexto. Nesse sentido, este projeto de pesquisa tem como foco definir estratégias de teste de SoSs dirigido a missões, em que os testes serão guiados e planejados baseados em missões a serem cumpridas. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Jhonatan Azevedo Gonçalves - Integrante / Lucas Labre de Melo - Integrante., Financiador(es): Universidade Federal Fluminense - Bolsa.

  • 2018 - 2019

    Automatização do teste de software no contexto de sistemas modernos, Descrição: Um dos grandes desafios da computação é o desenvolvimento de técnicas e ferramentas que permitam o desenvolvimento de sistemas confiáveis e mais seguros. Uma das maneiras de se garantir a qualidade e confiabilidade desses sistemas é utilizar técnicas de Verificação, Validação & Teste (VV&T). No entanto, muitas técnicas têm como alvo o software tradicional - software que é escrito em uma única linguagem, homogênea, não distribuída e, em alguns casos, até mesmo de pequeno porte. Muitos dos sistemas de software de hoje são muito diferentes desses sistemas tradicionais e têm características que os tornam inadequados para as técnicas de teste existentes.. Inúmeros tipos de aplicativos que são cada vez mais populares, como aplicativos móveis, sistemas web, sistemas robóticos, sistemas-de-sistemas, arquiteturas orientadas a serviços, microsserviços e aplicativos baseados em nuvem, possuem essas características. Nesse sentido, muitas técnicas de teste existentes são insuficientes quando aplicadas a sistemas de software modernos comumente usados, levando a testes ineficazes e, em última análise, a uma qualidade de software insatisfatória. Este projeto visa contribuir com o aprimoramento dessas técnicas e o desenvolvimento de novas ferramentas a fim de lidar com as características intrínsecas a esses tipos de sistemas modernos e, assim, continuar garantindo o desenvolvimento com boa qualidade .. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Hugo Tavares de Almeida - Integrante / Jean Carlos Paiva Miranda - Integrante / Mariana Trevizani Nocelli - Integrante / Rodolpho Nazareth Rossete de Souza - Integrante / João Paulo Dias - Integrante.

  • 2018 - 2019

    Teste de Sistemas de Sistemas baseado em Missões, Descrição: Hoje em dia, para que empresas e seus produtos, sistemas e serviços consigam competir, sobreviver e se adaptar, eles dependem cada vez mais do software e da capacidade de integrar sistemas relacionados a fim de tornar um sistema maior, mais complexo e distribuído (BOEHM, 2006). Isso leva ao desenvolvimento de Sistemas de Sistemas (SoS) em que um conjunto de sistemas interoperáveis, chamados de sistemas constituintes, realizam um conjunto de missões que não poderiam ser realizadas por nenhum desses sistemas de forma isolada. Embora existam vários trabalhos que discutem os desafios e possíveis metodologias em alto nível para o teste de SoS, poucos trabalhos propõem estratégias efetivas, levando a uma lacuna entre as abordagens existentes e como elas podem ser utilizadas e/ou adaptadas nesse contexto. Nesse sentido e considerando que microsserviços foram construídos sobre os conceitos de SOA e é uma tendência que vem ganhando bastante popularidade ultimamente (DRAGONI et al., 2017), o objetivo principal deste projeto de pesquisa é propor estratégias de teste de SoS que foram projetados utilizando abordagens como SOA ou microsserviços.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Jean Carlos Paiva Miranda - Integrante / Antonia Bertolino - Integrante / João Paulo Dias - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa.

  • 2017 - 2019

    Extensão da ferramenta PATeCa para apoio a automatização do teste estrutural de software de sistemas robóticos móveis, Descrição: O objetivo geral desse projeto é dar continuidade a abordagem proposta para o teste estrutural de veículos autônomos a partir de LOGs coletados durante o teste de campo estendendo a ferramenta PATeCA a fim de oferecer suporte a programas escritos em Python, bem como oferecer suporte a outras estratégias para geração de dados de teste. Com isso, será possível avaliar empiricamente toda a abordagem.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Coordenador / Paulo Cesar Masiero - Integrante / Márcio E Delamaro - Integrante / Hugo Tavares de Almeida - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa.

  • 2010 - 2015

    Automatização do teste estrutural de software de veículos autônomos para apoio ao teste de campo, Projeto certificado pelo(a) coordenador(a) Paulo Cesar Masiero em 24/03/2018., Descrição: Veículo autônomo inteligente (ou apenas veículo autônomo -- VA) é um tipo de sistema embarcado que integra componentes físicos (hardware) e computacionais (software). Sua principal característica é a capacidade de locomoção e de operação de modo semi ou completamente autônomo. A autonomia cresce com a capacidade de percepção e de deslocamento no ambiente, robustez e capacidade de resolver e executar tarefas lidando com as mais diversas situações (inteligência). Veículos autônomos representam um tópico de pesquisa importante e que tem impacto direto na sociedade. No entanto, à medida que esse campo avança alguns problemas secundários aparecem como, por exemplo, como saber se esses sistemas foram suficientemente testados. Uma das fases do teste de um VA é o teste de campo, em que o veículo é levado para um ambiente pouco controlado e deve executar livremente a missão para a qual foi programado. Ele é geralmente utilizado para garantir que os veículos autônomos mostrem o comportamento desejado, mas nenhuma informação sobre a estrutura do código é utilizada. Pode ocorrer que o veículo (hardware e software) passou no teste de campo, mas trechos importantes do código nunca tenham sido executados. Durante o teste de campo, os dados de entrada são coletados em logs que podem ser posteriormente analisados para avaliar os resultados do teste e para realizar outros tipos de teste offline. Este trabalho tem como principal objetivo a investigação do teste estrutural em veículos autônomos. Para isso, deverão ser identificados os pontos problemáticos e buscar soluções que passam pela definição de estratégias de teste e criação ou adaptação de critérios de teste estrutural bem como ferramentas de apoio.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Paulo Cesar Masiero - Coordenador / Márcio E Delamaro - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2010 - 2014

    Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), Descrição: Edital N. 15/2008 MCT/CNPq/FNDCT/ CAPES/FAPEMIG/FAPERJ/FAPESP Institutos Nacionais de Ciência e Tecnologia (INCT) A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Paulo Cesar Masiero - Integrante / Márcio Eduardo Delamaro - Integrante / Denis Fernando Wolf - Integrante / José Carlos Maldonado - Coordenador / Simone do Rocio Senger de Souza - Integrante.

  • 2009 - 2013

    Contribuições para o teste de programas orientados a aspectos, Descrição: Este projeto investiga a aplicação de teste estrutural em programas orientados a aspectos, em especial nas linguagens Java e Aspect. Critérios de teste e ferramentas de apoio estão sendo desenvolvidos para o teste de integração intra e inter-classes/aspectos. Temos interesse também em apoiar o teste de componentes e serviços desenvolvidos nessa linguagem... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Paulo Cesar Masiero - Coordenador / Marcelo Medeiros Eler - Integrante / Otávio A L Lemos - Integrante / Ivan Gustavo Franchin - Integrante / Luciano Carvalho - Integrante.

  • 2006 - 2007

    Proposta de um Sistema Computacional de apoio ao processo de tomada de decisão em políticas públicas, com enfoque nas informações sobre Mortes Violentas em municípios de médio porte, Descrição: Este projeto visa elaborar um sistema computacional que possa adequar e facilitar a coleta e armazenamento de dados relativos a diversos fenômenos de violência, em particular as mortes violentas, em diversos órgãos da administração pública na cidade de Rio Claro. O intuito primordial deste sistema é possibilitar uma leitura e interpretação realista dos fenômenos relacionados à violência, oferecendo subsídios válidos e mensuráveis para tomada mais acertada de decisões em políticas públicas, pelos órgãos governamentais envolvidos. Além disso, pretende-se que tal sistema sirva de fomento a pesquisa para desvendar as causas e razões destes fenômenos e conseqüentemente propor sugestões de prevenção e solução. Este projeto faz parte de uma ação integrada do Grupo de Estudo e Análise de Fenômenos Urbanos de Violência (GestaFUV) da Unesp de Rio Claro, que tem como objetivo estudar e analisar os dados coletados por diversos organismos governamentais a fim de, inicialmente, detectar padrões e fenômenos relacionados a diversos aspectos de violência e, posteriormente, pesquisar suas causas, oferecendo sugestões de melhoria e adequação da gestão de políticas públicas. Este Grupo tem, por necessidade, um caráter multidisciplinar e conta com a participação de diversos docentes e pesquisadores de diversas áreas de conhecimento da UNESP. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Farid Nourani - Integrante / Maria Cecília Vecchiato Saenz Carneiro - Integrante / José Silvio Govone - Coordenador / José Gustavo Viegas Carneiro - Integrante / Antonio Carlos Simões Pião - Integrante.

  • 2003 - 2004

    Novas e Velhas Tecnologias na Educação Matemática: Applets e Internet, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vânia de Oliveira Neves - Integrante / Marcelo de Carvalho Borba - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Projetos de desenvolvimento

  • 2020 - Atual

    MITGa: Uma ferramenta para geração de casos de teste de integração de microsserviços, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Henrique do Prado Linhares - Integrante / Lucas Romer Leão - Integrante., Financiador(es): Universidade Federal Fluminense - Bolsa.

  • 2022 - Atual

    Geração automática de casos de teste de sistemas modernos, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Vitória Guidini Soares - Integrante.

  • 2020 - 2022

    MITGa: Uma ferramenta para geração de casos de teste de integração de microsserviços, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Henrique do Prado Linhares - Integrante / Lucas Romer Leão - Integrante., Financiador(es): Universidade Federal Fluminense - Bolsa.

  • 2022 - Atual

    Geração automática de casos de teste de sistemas modernos, Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: Vânia de Oliveira Neves - Coordenador.

  • 2020 - 2022

    MITGa: Uma ferramenta para geração de casos de teste de integração de microsserviços, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vânia de Oliveira Neves - Coordenador / Henrique do Prado Linhares - Integrante / Lucas Romer Leão - Integrante., Financiador(es): Universidade Federal Fluminense - Bolsa.

Prêmios

2019

Artigo selecionado entre os melhores do IV Brazilian Symposium on Systematic and Automated Software Testing, Sociedade Brasileira de Computação.

2014

Artigo selecionado entre os melhores do IV Brazilian Symposium on Computing Systems Engineering - Critical Embedded Systems Track. An environment to support structural testing of autonomous vehicles, Sociedade Brasileira de Computação.

2000

Indicação ao Troféu Fumagalli como melhor aluna do Ensino Médio de Limeira, Aldeia Movimento Pró Cultura.

Histórico profissional

Endereço profissional

  • Universidade Federal Fluminense, Instituto de Computação. , Avenida General Milton Tavares de Souza, Gragoatá, 24210346 - Niterói, RJ - Brasil, Telefone: (21) 26292960, URL da Homepage:

Experiência profissional

2019 - Atual

Universidade Federal Fluminense

Vínculo: Servidor Público, Enquadramento Funcional: Professora Adjunta, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 01/2020

    Ensino, Sistemas de Computação, Nível: Graduação,Disciplinas ministradas, Análise de Sistemas

  • 03/2019

    Pesquisa e desenvolvimento, Instituto de Computação.,Linhas de pesquisa

  • 03/2019

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Qualidade e Teste, Projeto de Software

  • 03/2019

    Ensino, Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software I, Engenharia de Software II

  • 03/2019

    Conselhos, Comissões e Consultoria, Instituto de Computação.,Cargo ou função, Membro do Colegiado do Curso de SIstemas de Informação.

  • 04/2022 - 12/2022

    Extensão universitária , Instituto de Computação.,Atividade de extensão realizada, Coordenadora do Projeto de Extensão "Ações de comunicação para o 42o Congresso da Sociedade Brasileira de Computação".

  • 08/2019 - 12/2022

    Extensão universitária , Pró-Reitoria de Extensão.,Atividade de extensão realizada, Integrante do projeto de extensão "SOFTECS - Fábrica de Software e Tecnologia para a Saúde".

  • 08/2019 - 12/2020

    Extensão universitária , Instituto de Computação.,Atividade de extensão realizada, Coordenadora do Projeto de Extensão "Solidarize-sw: desenvolvimento de softwares e aplicativos para a sociedade".

2021 - 2022

Columbia University

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Fellow, Carga horária: 40

Outras informações:
Atuou como pesquisadora visitante no grupo ARiSE Lab, coordenado pela Profa. Baishakhi Ray, desenvolvendo pesquisa relacionada a teste de modelos de aprendizagem de máquina, no contexto de veículos autônomos. A pesquisa foi financiada pela Fulbright.

2020 - 2020

Consiglio Nazionale delle Ricerche

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Fellow, Carga horária: 40

2018 - 2018

Consiglio Nazionale delle Ricerche

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Fellow, Carga horária: 40

2016 - 2019

Universidade Federal de Juiz de Fora

Vínculo: Servidor Público, Enquadramento Funcional: Professora Adjunta, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 06/2017 - 03/2019

    Extensão universitária , Instituto de Ciências Exatas.,Atividade de extensão realizada, Coordenação.

  • 04/2017 - 03/2019

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Vice Coordenadora do Curso de Sistemas de Informação.

  • 03/2017 - 03/2019

    Outras atividades técnico-científicas , Instituto de Ciências Exatas, Instituto de Ciências Exatas.,Atividade realizada, Membro do Fórum de Internacionalização da Diretoria de Relações Internacionais da UFJF.

  • 08/2016 - 03/2019

    Ensino, Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados II, Laboratório de Programação, Orientação a Objetos, Teste de Software

  • 08/2018 - 12/2018

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software e Banco de Dados Baseado em Busca

2015 - 2015

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Prof Contratado III, Carga horária: 12

2013 - 2013

Universidade de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Estagiária, Carga horária: 6

Outras informações:
Estágio realizado Programa de Apoio ao Ensino (PAE) - disciplina: Sistemas de Informação - supervisor: Paulo Cesar Masiero.

2008 - 2009

Universidade de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Estagiária, Carga horária: 6

Atividades

  • 08/2015 - 12/2015

    Ensino, Engenharia Elétrica - Ênfase Automação e Controle, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação e Aplicações

  • 08/2015 - 12/2015

    Ensino, Engenharia de Produção, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação e Aplicações

  • 08/2015 - 12/2015

    Ensino, Ciências de Computação, Nível: Graduação,Disciplinas ministradas, Análise e Projeto Orientado a Objetos

  • 07/2013 - 12/2013

    Estágios , Instituto de Ciências Matemáticas e de Computação.,Estágio realizado, Programa de Apoio ao Ensino (PAE) - disciplina: Sistemas de Informação- supervisor: Paulo Cesar Masiero.

  • 02/2009 - 07/2009

    Estágios , Instituto de Ciências Matemáticas e de Computação.,Estágio realizado, Programa de Apoio ao Ensino (PAE) - disciplina: Análise e Projeto Orientado a Objetos - supervisora: Elisa Yumi Nakagawa.

  • 07/2008 - 12/2008

    Estágios , Instituto de Ciências Matemáticas e de Computação.,Estágio realizado, Programa de Apoio ao Ensino (PAE) - disciplina: Engenharia de Software - supervisor: Márcio Eduardo Delamaro.

  • 02/2008 - 07/2008

    Estágios , Instituto de Ciências Matemáticas e de Computação.,Estágio realizado, Programa de Apoio ao Ensino (PAE) - disciplina: Análise e Projeto Orientado a Objetos - supervisor: Paulo Cesar Masiero.

2012 - 2013

Politecnico Di Milano

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Durante sua estadia na Politecnico di Milano, sob orientação do Prof. Dr. Luciano Baresi, desenvolveu pesquisa relacionada a aplicação de algoritmos e ferramentas para geração automática de dados de teste em software de controle de veículos autônomos.

2015 - 2016

Universidade Estadual Paulista Júlio de Mesquita Filho

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 12

2010 - 2010

Universidade Estadual Paulista Júlio de Mesquita Filho

Vínculo: Professor Conferencista, Enquadramento Funcional: Professor Conferencista, Carga horária: 8

2003 - 2004

Universidade Estadual Paulista Júlio de Mesquita Filho

Vínculo: Participação em Projeto, Enquadramento Funcional: Participação em Projeto

Atividades

  • 04/2015 - 07/2016

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Análise de Sistemas, Estruturas de Dados II, Introdução à Computação I, Linguagens Comerciais de Programação

  • 03/2010 - 07/2010

    Ensino, Bacharelado em Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Comerciais de Programação, Sistemas Orientados a Objetos. Obs: Início em 04/2010

2016 - 2016

Centro Universitário Herminio Ometto de Araras

Vínculo: Colaborador, Enquadramento Funcional: Professor Universitário, Carga horária: 8

2010 - 2010

Centro Universitário Herminio Ometto de Araras

Vínculo: Celetista formal, Enquadramento Funcional: Professor Universitário, Carga horária: 7

Atividades

  • 01/2016 - 02/2016

    Ensino, Engenharia de Software, Nível: Especialização,Disciplinas ministradas, Qualidade de Software

  • 08/2010 - 12/2010

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação 3, Linguagem de Programação 5

2013 - 2015

Fundação de Amparo à Pesquisa do Estado de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

2011 - 2012

Fundação de Amparo à Pesquisa do Estado de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2009

Fundação de Amparo à Pesquisa do Estado de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Mestrado, Carga horária: 40, Regime: Dedicação exclusiva.

2012 - 2013

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista do Programa Ciências sem Fronteiras, Carga horária: 40, Regime: Dedicação exclusiva.

2003 - 2004

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

2010 - 2011

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Carga horária: 40

2009 - 2010

Luxfacta Soluções de TI

Vínculo: Celetista formal, Enquadramento Funcional: Programadora Pleno III, Carga horária: 44

Outras informações:
Serviço realizado: Análise e desenvolvimento de soluções para Internet Banking utilizando linguagem Java.

2005 - 2006

SuperSoft Sistemas Ltda

Vínculo: Celetista, Enquadramento Funcional: Programadora, Carga horária: 40

Outras informações:
Serviço realizado: Desenvolvimento de sistemas ERP utilizando linguagem Delphi

2004 - 2005

SuperSoft Sistemas Ltda

Vínculo: Estagiária, Enquadramento Funcional: Estagiária, Carga horária: 40

Outras informações:
Serviço realizado: Desenvolvimento de sistemas ERP utilizando linguagem Delphi

2015 - 2016

Vânia Neves - Treinamento e Consultoria em Informática

Vínculo: Microempreendedor Individual, Enquadramento Funcional: Microempreendedor Individual

2004 - 2006

Info Jr - Projetos, Assessoria e Consultoria

Vínculo: Voluntária, Enquadramento Funcional: Diretoria de Projetos, Carga horária: 12