Josias Gomes Lima
Doutor e Mestre pelo Programa de Pós-Graduação em Informática (PPGI) do Instituto de Computação da UFAM. Bacharel em Ciência da Computação pelo Centro Universitário do Norte (UNINORTE - Manaus - Brasil). Seus interesses de pesquisa envolvem Engenharia de Software, com ênfase em Teste de Software. Trabalhou com o desenvolvimento de sistemas web e mobile utilizando as linguagens Java, Flutter, Python, PHP e JavaScript na empresa Domma - Tecnologia da Informação (Manaus - Brasil), na empresa CITS Amazonas e atualmente trabalha como pesquisador no instituto Creathus.
Informações coletadas do Lattes em 31/01/2026
Acadêmico
Formação acadêmica
Doutorado em Informática
2018 - 2024
Universidade Federal do Amazonas
Título: Previsão de Vazamento de Recursos em Aplicações Android usando Aprendizado de Máquina
Rafael Giusti. Coorientador: Arilo Claudio Dias Neto. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Informática
2016 - 2018
Universidade Federal do Amazonas
Título: SCoTUAM: UMA ABORDAGEM PARA SELEÇÃO DE COMPONENTES PARA TESTES UNITÁRIOS EM APLICAÇÕES MÓVEIS
, Ano de Obtenção: 2018.Arilo Claudio Dias Neto.Bolsista do(a): Fundação de Amparo a Pesquisa do Estado do Amazonas, FAPEAM, Brasil.
Especialização em Ciência de Dados e Big Data Analytics
2020 - 2021
Especialização em COMPUTAÇÃO FORENSE
2015 - 2017
Faculdade de Tecnologia Evolução
Título: Hardening em Sistemas Operacionais GNU/LINUX
Graduação em Ciência da Computação
2012 - 2015
Centro Universitário do Norte
Título: TRADUTOR DE COMANDOS BÁSICOS DA LINGUAGEM PORTUGOL PARA A LINGUAGEM C
Orientador: FRANCISCA SANCHA AZEVEDO DA SILVA
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Produções bibliográficas
-
LIMA, JOSIAS GOMES ; GIUSTI, RAFAEL ; DIAS-NETO, ARILO CLAUDIO . LeakPred: An Approach for Identifying Components with Resource Leaks in Android Mobile Applications. Computers , v. 13, p. 140, 2024.
-
LIMA, JOSIAS GOMES ; CARVALHO, J. M. ; MESUMBE, O. ; GIUSTI, RAFAEL ; DIAS-NETO, ARILO CLAUDIO . Consolidating Categories of Resource Leaks in Mobile Applications from Secondary Studies. INTERNATIONAL JOURNAL OF ENGINEERING RESEARCH AND DEVELOPMENT , v. 20, p. 141-168, 2024.
-
LOPES, A. M. M. ; LIMA, J. G. . Incorporando uma Abordagem para Avaliação de Habilidades Cognitivas em um Sistema Tutor Inteligente. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 21, p. 178â??187, 2023.
-
LIMA, J. G. ; GIUSTI, R. ; DIAS-NETO, ARILO CLAUDIO . Resource Leak Prediction in Android Applications Using Machine Learning. Brazilian Journal of Development , v. 7, p. 47820-47837, 2021.
-
GOMES, JOSIAS ; VILLANES, ISABEL K. ; ASCATE, SILVIA M. ; FONT'O, AWDREN ; FREITAS, EDUARDO NORONHA DE ANDRADE ; DIAS-NETO, ARILO CLAUDIO . SCUTMA: Selecting Components for Unit Testing in Mobile Applications. JOURNAL OF COMPUTER SCIENCES , v. 16, p. 1367-1392, 2020.
-
DE CARVALHO, JOETHE MORAES ; LIMA, JOSIAS GOMES ; DE MAGALHAES NETTO, JOSE FRANCISCO ; CALDAS, RUITER BRAGA . RPOIA: A Method of Selecting Learning Objects Using Petri Nets. In: 2020 IEEE Frontiers in Education Conference (FIE), 2020, Uppsala. 2020 IEEE Frontiers in Education Conference (FIE), 2020. p. 1.
-
LIMA, J. G. ; GIUSTI, R. ; DIAS-NETO, ARILO CLAUDIO . Previsão de Vazamento de Recursos em Aplicações Android usando Aprendizado de Máquina. In: XIX Simpósio Brasileiro de Qualidade de Software, 2020, Online. 2020: Anais Estendidos do XIX Simpósio Brasileiro de Qualidade de Software, 2020. p. 31-38.
-
VILLANES, ISABEL K. ; ASCATE, SILVIA M. ; GOMES, JOSIAS ; DIAS-NETO, ARILO CLAUDIO . What are Software Engineers asking about Android Testing on Stack Overflow?. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17, 2017. p. 104.
-
LIMA, J. G. ; PESSOA, V. L. S. ; MAIA, O. B. ; SANCHA, F. . TRADUTOR DE COMANDOS BÁSICOS DE PORTUGOL PARA A LINGUAGEM C. In: XLIV CONGRESSO BRASILEIRO DE EDUCAÇÃO EM ENGENHARIA, 2016, Natal-RN. COBENGE 2016 XLIV CONGRESSO BRASILEIRO DE EDUCAÇÃO EM ENGENHARIA, 2016.
Histórico profissional
Experiência profissional
2021 - 2025
Creathus Instituto de Tecnologia da AmazôniaVínculo: Celetista, Enquadramento Funcional: Pesquisador, Carga horária: 44
Outras informações:
Av. Djalma Batista, 370, Chapada, 69050-010
2018 - 2018
Centro Internacional de Tecnologia de Software do Amazonas - Cits.AmazonasVínculo: Celetista, Enquadramento Funcional: Desenvolvedor Pleno, Carga horária: 44
2014 - 2016
DOMMA Tecnologia da InformaçãoVínculo: Colaborador, Enquadramento Funcional: Programador de Sistemas de Informação, Carga horária: 40
2014 - 2014
Centro Universitário do NorteVínculo: Voluntário, Enquadramento Funcional: Voluntário no Programa PIBIC/UNINORTE, Carga horária: 20
2014 - 2014
Instituto de Tecnologia - José Rocha Sérgio CardosoVínculo: Estágio, Enquadramento Funcional: Teste de Software, Carga horária: 30
2013 - 2014
Universidade do Estado do AmazonasVínculo: Estágio, Enquadramento Funcional: Técnico de Suporte, Carga horária: 20
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Josias Gomes Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?