João Batista de Souza Neto

João possui graduação em Análise e Desenvolvimento de Sistemas pelo Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2012) e mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2015). Atualmente é doutorando em Ciência da Computação na Universidade Federal do Rio Grande do Norte. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Análise e Desenvolvimento de Sistemas, Teste de Software, Métodos Formais e Big Data.

Informações coletadas do Lattes em 18/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Sistemas e Computação

2016 - Atual

Universidade Federal do Rio Grande do Norte
Orientador: Martin Alejandro Musicante
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Big Data. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.

Mestrado em Sistemas e Computação

2013 - 2015

Universidade Federal do Rio Grande do Norte
Título: Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento,Ano de Obtenção: 2015
Anamaria Martins Moreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Engenharia de Software; Métodos Formais; Teste de Software.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste de Software.

Graduação em Análise e Desenvolvimento de Sistemas

2009 - 2012

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte
Título: DESENVOLVIMENTO WEB COM PROGRAMAÇÃO FUNCIONAL UTILIZANDO SCALA E O PLAY FRAMEWORK
Orientador: Leonardo Reis Lucena

Seção coletada automaticamente pelo Escavador

Formação complementar

2017 - 2017

Extensão universitária em Análise e Gerenciamento de Grandes Volumes de Dados. (Carga horária: 32h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

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

Português

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

Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste de Software.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Big Data.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Análise e Desenvolvimento de Sistemas.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Seção coletada automaticamente pelo Escavador

Participação em eventos

2nd FRENCH-BRAZILIAN SCHOOL ON BIG DATA AND SMART CITIES. 2017. (Outra).

9th Brazilian Workshop on Systematic and Automated Software Testing ? SAST 2015. An empirical study of test generation with BETA. 2015. (Congresso).

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

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

IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT. Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2014. (Congresso).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

David Boris Paul Déharbe

MOREIRA, A. M.Déharbe, DavidGHEYI, R.. Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

David Boris Paul Déharbe

MOREIRA, A. M.Déharbe, David; MUSICANTE, M. A.. Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Anamaria Martins Moreira

MOREIRA, A. M.DÉHARBE, D.MUSICANTE, M. A.. Um estudo sobre geração de testes com BETA: avaliação e aperfeiçoamento. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Umberto Souza da Costa

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

Seção coletada automaticamente pelo Escavador

Foi orientado por

Bruno Gomes de Araújo

e-Ética: Sistema Web de Acompanhamento de Processos no Comitê de Ética da Universidade Federal do Rio Grande do Norte; 2011; Iniciação Científica; (Graduando em Tecnologia em Análise e Desenvolvimento de Sistema) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte; Orientador: Bruno Gomes de Araújo;

Luciana de Figueiredo Lopes Lucena

Uma Ferramenta de Sistematização de Dados de Empresas de Consultoria Econômica do RN; 2010; Iniciação Científica; (Graduando em bacharelado em ciências e tecnologia) - Universidade Federal do Rio Grande do Norte, Universidade Federal do Rio Grande do Norte; Orientador: Luciana de Figueiredo Lopes Lucena;

Anamaria Martins Moreira

Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento; 2015; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;

Leonardo Reis Lucena

Desenvolvimento Web com Programação Funcional Utilizando Scala e Play Framework; 2012; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte; Orientador: Leonardo Reis Lucena;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • DE SOUZA NETO, JOÃO B. ; Moreira, Anamaria M. ; MUSICANTE, MARTIN A. . Semantic Web Services testing: A Systematic Mapping study. Computer Science Review , v. 28, p. 140-156, 2018.

  • de Matos, Ernesto C. B. ; Moreira, Anamaria M. ; DE SOUZA NETO, JOÃO B. . An empirical study of test generation with BETA. Journal of The Brazilian Computer Society (Online) , v. 22, p. 8, 2016.

  • Moreira, Anamaria M. ; Hentz, Cleverton ; Déharbe, David ; de Matos, Ernesto C. B. ; Neto, João B. Souza ; de Medeiros, Valério . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: Blanchette, Jasmin Christian; Kosmatov, Nikolai. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. 9154, p. 76-91.

  • SOUZA NETO, J. B. ; MOREIRA, A. M. ; MATOS, E. C. B. . An empirical study of test generation with BETA. In: 9th Brazilian Workshop on Systematic and Automated Software Testing ? SAST 2015, 2015, Belo Horizonte/MG. Proceedings of the 9th Brazilian Workshop on Systematic and Automated Software Testing ? SAST 2015, 2015. p. 61-70.

  • SOUZA NETO, J. B. ; MOREIRA, A. M. . Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento. In: IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014, Maceió/AL. WTDSoft 2014 - IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014. v. 2. p. 50-55.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Departamento de Polícia Federal - Remuneração / Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação / Ministério da Educação - Cooperação / Universidade Federal de Campina Grande - Cooperação.

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Departamento de Polícia Federal - Remuneração / Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação / Ministério da Educação - Cooperação / Universidade Federal de Campina Grande - Cooperação.

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Departamento de Polícia Federal - Remuneração / Ministério da Educação - Cooperação / Universidade Federal de Campina Grande - Cooperação / Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação.

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Departamento de Polícia Federal - Remuneração / Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação / Ministério da Educação - Cooperação / Universidade Federal de Campina Grande - Cooperação.

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Departamento de Polícia Federal - Remuneração / Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação / Universidade Federal de Campina Grande - Cooperação / Ministério da Educação - Cooperação.

  • 2011 - 2012

    e-Pol - SISTEMA DE GESTÃO DAS INFORMAÇÕES DE POLÍCIA JUDICIÁRIA, Descrição: O e-Pol (Sistema de Gestão das Informações de Polícia Judiciária) tem como intuito apoiar a produção e o acesso às informações oriundas das investigações policiais, bem como melhorar o desempenho e a gestão das atividades de polícia judiciária no âmbito da Polícia Federal.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: João Batista de Souza Neto - Integrante / Gustavo Sizílio Nery - Coordenador., Financiador(es): Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - Cooperação / Ministério da Educação - Cooperação / Universidade Federal de Campina Grande - Cooperação / Departamento de Polícia Federal - Remuneração.

Seção coletada automaticamente pelo Escavador

Prêmios

2015

Best paper award of the 9th Brazilian Workshop on Systematic and Automated Software Testing - SAST 2015, 9th Brazilian Workshop on Systematic and Automated Software Testing - SAST 2015.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional