Plinio de Sa Leitao Junior
Doutorado (2005) e mestrado (1992) pela Faculdade de Engenharia Elétrica e de Computação (FEEC) da Universidade Estadual de Campinas (UNICAMP), atuando principalmente nos seguintes temas: Teste de Software, Banco de Dados, Inteligência Computacional e Persistência de Registros Clínicos.
Informações coletadas do Lattes em 06/09/2025
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
2001 - 2005
Universidade Estadual de Campinas
Título: Teste Baseado na Interação entre Regras Ativas Escritas em SQL
Orientador: Mario Jino
, Ano de obtenção: 2006. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Engenharia Elétrica
1990 - 1992
Universidade Estadual de Campinas
Título: Teste de Programas Cobol no Ambiente POKE-TOOL, Ano de Obtenção: 1992
Orientador: Mario Jino
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Especialização em Informática em Saúde
2013 - 2014
Universidade Federal de São Paulo
Título: Uma visão sobre regulamentação de segurança da informação em saúde em meio eletrônico
Orientador: Ricardo Alfredo Quintano Neira
Pós-doutorado
2017 - 2018
Pós-Doutorado. , Oxford Brookes University, BROOKES, Inglaterra. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência omputacional.
Formação complementar
1995 - 1997
Extensão universitária em Curso Básico de Língua Inglesa. (Carga horária: 420h). , Universidade Federal do Ceará, UFC, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência omputacional.
Organização de eventos
Leitao-Junior, P. S. . ERI-CO - Escola Regional de Informática, Centro Oeste. 2008. (Outro).
PEREIRA, M. R. ; RODRIGUES, T. S. ; Leitao-Junior, P. S. . VI WEIMIG - Workshop de Educação em Computação e Informática do Estado de Minas Gerais. 2007. (Outro).
Participação em bancas
Leitao-Junior, P. S.; CHAIM, M. L.; UEYAMA, J.. Localização de Defeitos utilizando Diferentes Espectros e Aprendizado de Máquina. 2023. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.
Leitao-Junior, P. S.; Vergilio, S. R.; RODRIGUES, C. L.. Predição da Invasividade do Tumor Cutâneo: Um Estudo Comparativo entre as Regiões do Brasil. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
VERGILIO, SILVIA R.; POZO, A. T. R.;Leitao-Junior, P. S.. Priorização de casos de teste baseada em aprendizado de máquina no contexto de ambientes de integração contínua. 2022. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
RODRIGUES, C. L.;Leitao-Junior, P. S.; Vincenzi, A. M. R.. Teste de Aceitação com Requisitos de Acessibilidade para Pessoa Surda. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
GRACIANO NETO, V. V.; OLIVEIRA, R. F.;Leitao-Junior, P. S.; BRITO, A. V.. IoT-Based Architecture for Monitoring and Automated Decision Making in an Aviary Environment". 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.; BULCAO-NETO, R. F.; CHAIM, M. L.. Localização evolucionária de defeitos em software baseada na singularidade de escores de suspeita. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
BARBOSA, R. M.; NORONHA, A. B.;Leitao-Junior, P. S.. Mineração de dados para o reconhecimento da origem e do tipo de alimentos e outras substâncias com base em sua composição química. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
LUCENA, F. N.;VINCENZI, Auri Marcelo RizzoLeitao-Junior, P. S.. Avaliação de processos de teste pelo modelo de maturidade TMMi em pequenas empresas. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
RODRIGUES, C. L.;CAMILO-JUNIOR, C. G.; FREITAS, E. N. A.;Leitao-Junior, P. S.. SBSTFrame: um framework para teste de software baseado em busca. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
DIAS NETO, A. C.;VINCENZI, Auri Marcelo RizzoLeitao-Junior, P. S.. Avaliação de ferramentas de geração automática de dados de teste: estudo exploratório. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.VINCENZI, Auri Marcelo Rizzo; SILVA, J. C.. Persistência de Dados Clínicos Baseada nas Definições ADL de Arquétipos do openEHR. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.VINCENZI, Auri Marcelo Rizzo; LUCENA, F. N.; SILVA, J. C.. Persistência de dados clínicos baseados no openEHR: uma abordagem orientada por recursos limitados. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
BARBOSA, R. M.; GUIMARAES, M. P.;Leitao-Junior, P. S.. Mineração de dados para classificação e caracterização de alguns vinhos Vitis Vinífera da América do Sul. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
CARVALHO, C. L.;Leitao-Junior, P. S.; LOSCIO, B. F.. Mapeamento de Bancos de Dados para Domínios Semânticos. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
RODRIGUES, C. L.;Leitao-Junior, P. S.; MASSONI, T. L.. Um Arcabouço para Avaliação do Nível de Maturidade em Teste de Software para Micro e Pequenas Empresas. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
FILGUEIRAS, A. C.;Silva, J. C.; HOLANDA, M. T.;Leitao-Junior, P. S.. Uma Experiência de Consultas com Palavras-chave em Fontes de Dados Heterogêneos na Web. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
MONCAO, A. C. B. L.;CAMILO-JUNIOR, C. G.; SOUZA, J. T.;Leitao-Junior, P. S.. Uma Abordagem Evolucionária para a Seleção de Dados de Teste em Aplicações de Banco de Dados. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
QUEIROZ, L. T.; RODRIGUES, C. L.; DIAS NETO, A. C.;Leitao-Junior, P. S.. Um Benchmark para Avaliação de Técnicas de Busca de Análise de Mutantes SQL. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.; RODRIGUES, C. L.; Vergilio, S. R.. Uma Estratégia para a Avaliação e Evolução de Teste Funcional de Software. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
VINCENZI, Auri Marcelo Rizzo; CHAIM, M. L.;Leitao-Junior, P. S.. Qualidade de Conjuntos de Teste de Software de Código Aberto: Uma Análise baeada em Critérios Estruturais. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
VINCENZI, Auri Marcelo RizzoLeitao-Junior, P. S.; Ferrari, F. C.. Estudo e Definição de uma Metodologia de Test de Software no Contexto de Sistemas Embarcados Críticos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
ALMEIDA, A. C.;OLIVEIRA, Juliano LopesLeitao-Junior, P. S.. Um Componente para a Geração e Evolução de Esquemas de Bancos de Dados como Suporte à Construção de Sistemas de Informação. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
MARTINS, J. P.; LONGO, H. J.;Leitao-Junior, P. S.. O Problema do Agendamento Semanal de Aulas. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.
Vergilio, S. R.;Leitao-Junior, P. S.; Pimentel, A. R.. Teste Baseado em Defeitos de Classes Java Utilizando Aspectos e Mutação de Especificações OCL. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
CAMILO-JUNIOR, C. G.;Leitao-Junior, P. S.; OLIVEIRA, S. S. T.; Vincenzi, A. M. R.; SOUZA, J. T.. Aplicação de CNN e LLM na Exploração dos Aspectos-Chave da Localização de Defeitos de Software. 2024. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
COSTA, R. M.; SOARES, F. A. A. M. N.;Leitao-Junior, P. S.; ARRAUT, E. M.; COSTA, K. A. P.. Deep Learning Aplicado à classificação em Nível de Pixel de Variedades de Culturas por Imagens Multiespectrais. 2024. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.; Vergilio, S. R.; SPINOSA, E. J.; ASSUNCAO, W. K. G.. Machine learning prediction of change-prone methods and performance impactful changes. 2023. Tese (Doutorado em Informática) - Universidade Federal do Paraná.
Leitao-Junior, P. S.. Uma Solução Baseada em Economia Colaborativa para Escalar o Teste de Aplicações Android em Dispositivos Reais. 2019. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
VINCENZI, Auri Marcelo RizzoCAMILO-JUNIOR, C. G.Leitao-Junior, P. S.; OLIVEIRA, C. S.; JUBILEU, A. P.. Estudo, Definição e Proposta de Representação de Interface Web Visando à Atividade de Teste de Software. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
VINCENZI, Auri Marcelo RizzoCAMILO-JUNIOR, C. G.; Ferrari, F. C.; DIAS NETO, A. C.;Leitao-Junior, P. S.; RODRIGUES, C. L.. SCOUT: A Multi-objective Method to Select Components in Designing Unit Testing. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
MALDONADO, J. C.; FORTES, R. P. M.;Leitao-Junior, P. S.; MENDONCA NETO, M. G.; SPINOLA, M. M.. KITest: Um Arcabouço de Conhecimento e Melhoria de Processo de Teste. 2011. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
Leitao-Junior, P. S.; SOARES, F. A. A. M. N.; COSTA, R. M.. Uma abordagem ao balanceamento de bases de dados de câncer no contexto de técnicas de aprendizado de máquina. 2024. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Aplicando redes neurais profundas na localização de falhas de software. 2022. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Goiás.
JORGE, R. F.;VINCENZI, Auri Marcelo RizzoLeitao-Junior, P. S.; CHAIM, M. L.;CAMILO-JUNIOR, C. G.. Estudo, Definição e Implementação de Técnicas para a Geração de Dados de Teste a partir de GUI. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Goiás.
FREITAS, E. N. A.;VINCENZI, Auri Marcelo Rizzo; DIAS NETO, A. C.;Leitao-Junior, P. S.; RODRIGUES, C. L.. Arcabouço para Priorização de Artefatos de Aplicação de Testes Unitários Baseado em Abordagem Evolucionária Multiobjetiva. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.; GRACIANO NETO, V. V.; SAWICKI, S.; FRANTZ, R. Z.. Estabelecimento de um Processo para Integração de Aplicações. 2023. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Aprendizado de máquina aplicado à detecção e ao tratamento do câncer: uma abordagem voltada ao estudo de bases de dados. 2022. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Algoritmos de Junções por Similaridade sobre Fluxo de Dados. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Localização de Defeitos em Software Baseada em Análise de Fluxo de Dados. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Sobre Avaliação de Métodos de Consultas por Palavras-chave em Bancos de Dados Relacionais. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
DIAS NETO, A. C.;VINCENZI, Auri Marcelo RizzoLeitao-Junior, P. S.. Avaliação de ferramentas de geração automática de dados de teste: estudo exploratório. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Goiás.
COSTA, R. M.;Leitao-Junior, P. S.. Desenvolvimento de um Sistema Web para Análise e Segmentação de Imagens de Exames de Velocidade de Onda de Pulso Arterial. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Geração de Dados Demográficos conforme a ABNT NBR 15985:2011. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.
Leitao-Junior, P. S.. Serialização do Modelo de Referência do openEHR: Um Primeiro Passo. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.
SALVINI, R. L.;Leitao-Junior, P. S.. Serious game de avaliação do reconhecimento de emoções faciais para pacientes com transtornos mentais. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.
GAEBLER, G. P.; PATTO, V. S.;Leitao-Junior, P. S.. Monitoramento de paisagens urbanas com redes de sensores para auxílio à decisão em gestão participativa. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.
COSTA, C. C.; RODRIGUES, C. L.;Leitao-Junior, P. S.. Avaliação das ferramentas JMock, Mocklib e Moq sob a perspectiva da geração de casos de teste para a fase de integração. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Goiás.
ALMEIDA, F. A.;Leitao-Junior, P. S.; RODRIGUES, C. L.. Geração de dados de teste pela aplicação de programação evolucionária. 2013.
ALVARENGA, G. B.; Saúde, André Vital;Leitao-Junior, P. S.. Proposta para o Problema de Roteamento de Veículos Dinâmico com Janela de Tempo. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Bermejo, P. H. S.; ZAMBALDE, A. L.;Leitao-Junior, P. S.. Avaliação de Maturidade da Gerência de Portfólio de Projetos de TI Aderente ao PRINCE 2. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
COSTA, H. A. X.; RESENDE, A. M. P.; RESENDE, A. R. M. L.;Leitao-Junior, P. S.. Crítérios de Manutenibilidade para Construção e Avaliação de Produtos de Software Orientados a Aspectos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
COSTA, H. A. X.; CARDOSO, O. N. P.;Leitao-Junior, P. S.. SisBDR - Sistema de Acesso a Bases de Dados Remotas Utilizando Tecnologia Móvel. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
COSTA, H. A. X.; ZAMBALDE, A. L.;Leitao-Junior, P. S.. Diagnóstico de uma Fábrica de Software visando à Implantação do Processo de Garantia de Qualidade do MPB.BR Nível F. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
ALVARENGA, G. B.; Souza, M. M.;Leitao-Junior, P. S.. Gerência de Riscos: um Processo Simplificado para Pequenas Empresas de Software. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
ALVARENGA, G. B.; Bermejo, P. H. S.;Leitao-Junior, P. S.. Estudo Comparativo de Software de Gerenciamento de Projetos e sua Aderência à Norma PMBOK 2004. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
Esmin, A. A. A.; Monserrat-Neto, J.;Leitao-Junior, P. S.. Estudo e Proposta de um Processo de Desenvolvimento de Software em uma Cooperativa de Software Livre. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Lavras.
RIBEIRO, L. A.;Leitao-Junior, P. S.; SILVA, J. C.. Professor da Carreira do Magistério Superior, Classe A, área Banco de Dados. 2019. Universidade Federal de Goiás.
RODRIGUES, C. L.;Leitao-Junior, P. S.; RESENDE, A. M. P.. Professor da Carreira do Magistério Superior, Classe A, área Engenharia de Software. 2014. Universidade Federal de Goiás.
Leitao-Junior, P. S.; HOLANDA, M. T.;OLIVEIRA, Juliano Lopes. Professor da Carreira do Magistério Superior, Classe A, área Banco de Dados. 2013. Universidade Federal de Goiás.
Leitao-Junior, P. S.VINCENZI, Auri Marcelo Rizzo; Lima, Fernanda. Professor Adjunto 20h, área Engenharia de Software. 2009. Universidade Federal de Goiás.
Leitao-Junior, P. S.. Banca Examinadora para o Processo Seletivo para o Curso de Especialização em Nível de Pósgraduação Lato Sensu em Saúde Digital (PLSSD). 2022. Universidade Federal de Goiás.
Leitao-Junior, P. S.; RODRIGUES, C. L.; GRACIANO NETO, V. V.. Seleção de candidatos ao Mestrado. 2019. Universidade Federal de Goiás.
Orientou
Evolução de espectro de teste voltado à localização de defeitos em software; Início: 2023; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás; (Orientador);
Uma abordagem à seleção e combinação de atributos para o aprendizado de máquina apicado ao tratamento do câncer; Início: 2022; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás; (Orientador);
Predição da Invasividade do Tumor Cutâneo: Um Estudo Comparativo entre as Regiões do Brasil; 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, ; Orientador: Plinio de Sa Leitao Junior;
Localização evolucionária de defeitos em software baseada na singularidade de escores de suspeita; 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, ; Orientador: Plinio de Sa Leitao Junior;
Localização de Defeitos Evolucionária Baseada em Fluxo de Dados; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Plinio de Sa Leitao Junior;
Geração Evolucionária de Heurísticas para Localização de Defeitos de Software; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Plinio de Sa Leitao Junior;
Avaliação de Processos de Teste peloModelo de Maturidade TMMi em Pequenas Empresas; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Plinio de Sa Leitao Junior;
Persistência de dados clínicos baseados no openEHR: uma abordagem orientada por recursos limitados; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Plinio de Sa Leitao Junior;
Persistência de Dados Clínicos Baseada nas Definições ADL de Arquétipos do openEHR; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, ; Orientador: Plinio de Sa Leitao Junior;
Uso de Ontologias de Domínio na Interpretação de Consultas sobre Bancos de Dados Relacionais; 2015; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, ; Coorientador: Plinio de Sa Leitao Junior;
Uma Estratégia para a Avaliação e Evolução de Teste Funcional de Software; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás; Orientador: Plinio de Sa Leitao Junior;
Teste Funcional Sistemático Estendido: Uma Contribuição na Aplicaçã̃o de Critérios de Teste Caixa-preta; 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Plinio de Sa Leitao Junior;
Análise de Mutantes em Aplicações SQL de Banco de Dados; 2009; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, ; Coorientador: Plinio de Sa Leitao Junior;
Persistência de Objetos em Base Relacionais usando Hibernate: Estudo e Aplicação em um Grafo Complexo de Objetos; 2015; Monografia; (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Persistência de Objetos em Base Relacionais usando Hibernate: Estudo e Aplicação em um Grafo Complexo de Objetos; 2015; Monografia; (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Uma Abordagem Genérica para Armazenamento e Recuperação de Informação de Dados Clínicos; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Aspectos Teóricos de Teste de Software: Uma Perspectiva de Critérios De Adequação; 2015; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
E-Elis: Um Serviço para Acesso à Versão Escrita das Línguas de Sinais; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Avaliação de Técnicas para Redução de Base de Dados de Produção; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Um Operador de Mutação para Algoritmos Evolucionários na Seleção de Casos de Teste da Análise de Mutantes; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Geração de Bases de Dados para o Teste de Aplicações de Banco de Dados pela Aplicação de Computação Evolucionária; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Geração de Dados de Teste pela Aplicação de Programação Evolucionária; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Aplicando Algoritmos Genéticos com Fertilização In Vitro na Geração de Dados de teste no Contexto de Teste de Mutação; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Estudo e Integração de Ferramentas de Teste de Software; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Estudo e Análise de Certificações de Teste de Software; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Análise Empírica do Teste Funcional Sistemático com Tabela de Decisão; 2016; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Plinio de Sa Leitao Junior;
Aspectos Teóricos de Teste de Software - Uma perspectiva de Critérios de Adequação; 2015; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Plinio de Sa Leitao Junior;
Geração de Dados de Teste pela Aplicação de Programação Evolucionária; 2012; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria com Bolsa em 2015/2 na Disciplina ?Banco de Dados 1? do Curso Bacharelado em Sistemas de Informação; 2015; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria com Bolsa em 2015/1 na Disciplina ?Banco de Dados 1? do Curso Bacharelado em Sistemas de Informação; 2015; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria com Bolsa em 2014/1 na Disciplina ?Banco de Dados 1? do Curso Bacharelado em Sistemas de Informação; 2014; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria Voluntária em 2014/2 na Disciplina ?Banco de Dados 1? do Curso Bacharelado em Sistemas de Informação; 2014; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria em 2013/2 na Disciplina ?Banco de Dados 2? do Curso Bacharelado em Sistemas de Informação; 2013; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria com Bolsa em 2013/2 na Disciplina ?Banco De Dados? do Curso Bacharelado em Ciências Da Computação; 2013; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria Voluntária em 2013/1 na Disciplina ?Banco de Dados 1? do Curso Bacharelado em Sistemas de Informação; 2013; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Monitoria Voluntária em 2013/1 na Disciplina ?Banco de Dados 2? do Curso Bacharelado em Sistemas De Informação; 2013; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Goiás; Orientador: Plinio de Sa Leitao Junior;
Produções bibliográficas
-
VALERIA PEREIRA SILVA, AUREA ; SA LEITAO-JUNIOR, PLINIO . Advancements in artificial intelligence for colorectal cancer: A comprehensive overview of systematic reviews. Intelligence-Based Medicine , v. 12, p. 100262, 2025.
-
MATA, MARCUS AUGUSTO PADILHA ; LEITAO-JUNIOR, PLINIO SA . Prediction of skin cancer invasiveness: A comparative study among the regions of Brazil. Intelligence-Based Medicine , v. 10, p. 100157, 2024.
-
FERREIRA, WILLIAN DE JESUS ; LEITAO-JUNIOR, PLINIO S. ; MACHADO DE FREITAS, DIOGO ; SILVA-JUNIOR, DEUSLIRIO ; HARRISON, RACHEL . Uniqueness of suspiciousness scores: towards boosting evolutionary fault localization. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 12, p. 1-11, 2024.
-
RAMADA, MARIANA SOLLER ; DA SILVA, JOÃO CARLOS ; DE SÁ LEITÃO-JÚNIOR, PLÍNIO . From keywords to relational database content: A semantic mapping method. INFORMATION SYSTEMS , v. 88, p. 101460, 2020.
-
LEITAO-JUNIOR, PLINIO S. ; FREITAS, DIOGO M. ; VERGILIO, SILVIA R. ; CAMILO-JUNIOR, CELSO G. ; HARRISON, RACHEL . Search-based fault localisation: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 123, p. 106295, 2020.
-
MONCAO, A. C. B. L. ; CAMILO-JUNIOR, C. G. ; QUEIROZ, L. T. ; Vincenzi, A. M. R. ; RODRIGUES, C. ; Leitao-Junior, P. S. ; ARAÚ ; BASÍ ; SOUZA, J. T. . An Evolutionary Approach to Test SELECT SQL Statements using Mutation Analysis. IEEE Latin America Transactions , v. 15, p. 1127-1136, 2017.
-
BRAGA, R. D. ; LUCENA, F. N. ; Leitao-Junior, P. S. . Registro Eletrônico em Saúde Interoperável: os desafios do padrão OpenEHR. journal of health informatics , v. 8, p. 103-109, 2016.
-
Leitao-Junior, P. S. ; LUCENA, F. N. ; BRAGA, R. D. ; NEIRA, R. A. Q. . Regulação de segurança da informação eletrônica em saúde: visão geral. journal of health informatics , v. 8, p. 148-155, 2016.
-
LUCENA, F. N. ; VINCENZI, Auri Marcelo Rizzo ; OLIVEIRA, Juliano Lopes ; Leitao-Junior, P. S. . Graduação (bacharelado) em Engenharia de Software. Engenharia de Software Magazine , v. 1, p. 56-60, 2009.
-
Leitao-Junior, P. S. ; VILELA, P. R. S. ; Jino, M. . Faults and Failures in SQL-based Data Manipulation Programming. INFOCOMP (UFLA. Impresso) , v. 6, p. 70-79, 2007.
-
Leitao-Junior, P. S. ; LUCENA, F. N. (Org.) ; BRAGA, R. D. (Org.) . Certificado Digital (2a edição). 2. ed. , 2023.
-
Leitao-Junior, P. S. ; LUCENA, F. N. (Org.) ; BRAGA, R. D. (Org.) . Padrões - Introdução (2a edição). 2. ed. , 2023.
-
Leitao-Junior, P. S. ; LUCENA, F. N. (Org.) ; BRAGA, R. D. (Org.) . Modelagem da Informação em Saúde (2a edição). 2. ed. , 2023.
-
Leitao-Junior, P. S. ; LUCENA, F. N. (Org.) ; BRAGA, R. D. (Org.) . Engenharia de Software na Saúde Digital (2a edição). 2. ed. , 2023.
-
Leitao-Junior, P. S. ; LUCENA, F. N. (Org.) ; BRAGA, R. D. (Org.) . HL7/FHIR (2a edição). 2. ed. , 2023.
-
Leitao-Junior, P. S. . HL7/FHIR. 1. ed. , 2022.
-
Leitao-Junior, P. S. . Modelagem da Informação em Saúde. 1. ed. , 2022.
-
Leitao-Junior, P. S. . Engenharia de Software na Saúde Digital. 1. ed. , 2022.
-
Leitao-Junior, P. S. . Conceitos e Histórico da Certificação Digital no Brasil. Certificado Digital. 1ed.: , 2022, v. , p. 12-.
-
Leitao-Junior, P. S. . Certificados Digitais - Tipos e Validade. Certificado Digital. 1ed.: , 2022, v. , p. 23-.
-
Leitao-Junior, P. S. . Diferenças entre Assinatura Digital e Certificado Digital. Certificado Digital. 1ed.: , 2022, v. , p. 28-.
-
Leitao-Junior, P. S. . Benefícios e Aplicações de Certificado Digital na Saúde Digital. Certificado Digital. 1ed.: , 2022, v. , p. 35-.
-
Leitao-Junior, P. S. . Organização da ICP-Brasil. Certificado Digital. 1ed.: , 2022, v. , p. 47-.
-
Leitao-Junior, P. S. . Processo de Aquisição e Uso. Certificado Digital. 1ed.: , 2022, v. , p. 51-.
-
Leitao-Junior, P. S. . Conceituação e Importância de Padrão no Contexto da Saúde Digital. Padrões - Introdução. 1ed.: , 2022, v. , p. 14-.
-
Leitao-Junior, P. S. . Organizações e Instituições que Gerenciam Padrões. Padrões - Introdução. 1ed.: , 2022, v. , p. 32-.
-
Leitao-Junior, P. S. . Padrões para Interoperabilidade. Padrões - Introdução. 1ed.: , 2022, v. , p. 38-.
-
Leitao-Junior, P. S. . Sistemas de Codificação. Padrões - Introdução. 1ed.: , 2022, v. , p. 54-.
-
Leitao-Junior, P. S. . A Iniciativa IHE - Integrating the Healthcare Enterprise. Padrões - Introdução. 1ed.: , 2022, v. , p. 64-.
-
Leitao-Junior, P. S. . Introdução. HL7/FHIR. 1ed.: , 2022, v. , p. 13-.
-
Leitao-Junior, P. S. . Recursos (Resources). HL7/FHIR. 1ed.: , 2022, v. , p. 41-.
-
Leitao-Junior, P. S. . Ambientação. HL7/FHIR. 1ed.: , 2022, v. , p. 45-.
-
Leitao-Junior, P. S. . Um Processo para a Modelagem da Informação em Saúde. Modelagem da Informação em Saúde. 1ed.: , 2022, v. , p. 11-.
-
Leitao-Junior, P. S. . Desenvolvimento do Modelo de Informação em Saúde. Modelagem da Informação em Saúde. 1ed.: , 2022, v. , p. 18-.
-
Leitao-Junior, P. S. . Estudo de Caso. Modelagem da Informação em Saúde. 1ed.: , 2022, v. , p. 31-.
-
Leitao-Junior, P. S. . Contexto de Software. Engenharia de Software na Saúde Digital. 1ed.: , 2022, v. , p. 11-.
-
Leitao-Junior, P. S. . Processos de Software. Engenharia de Software na Saúde Digital. 1ed.: , 2022, v. , p. 21-.
-
Leitao-Junior, P. S. . Elaboração de Proposta de Software Integrado à Rede Nacional de Dados em Saúde. Engenharia de Software na Saúde Digital. 1ed.: , 2022, v. , p. 32-.
-
Leitao-Junior, P. S. . Análise, Revisão e Apresentação das Propostas. Engenharia de Software na Saúde Digital. 1ed.: , 2022, v. , p. 39-.
-
Leitao-Junior, P. S. . Organização. HL7/FHIR. 1ed.: , 2022, v. , p. 29-.
-
FERREIRA, WILLIAN ; S. LEITAO-JUNIOR, PLINIO ; SILVA-JUNIOR, DEUSLIRIO ; HARRISON, RACHEL . Evolutionary Fault Localization Based on the Diversity of Suspiciousness Values. In: ESANN 2025, 2025, Bruges (Belgium) and online. ESANN 2025 proceesdings, 2025. p. 473.
-
DA SILVA, AUREA VALERIA PEREIRA ; SA LEITAO-JUNIOR, PLINIO ; FELIX, JULIANA . A Comparative Study of Data Balancing Techniques for Predicting Metastases in Colorectal Cancer Using the SEER Database. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), 2025, Toronto. 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), 2025. p. 2142.
-
DE SOUZA JÚNIOR, REINALDO ; SA LEITAO-JUNIOR, PLINIO ; NASCIMENTO, THAMER HORBYLON . An analysis of test case coverage balancing for fault localization. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), 2025, Toronto. 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), 2025. p. 2250.
-
MELO, C. B. ; FREIRE, J. C. G. ; SOUTO, M. G. ; MEDEIROS, A. C. R. ; SIEBRA, C. A. ; PIAGGE, C. S. L. D. ; LEITAO-JUNIOR, PLINIO SA . e-SUS na Atenção Primária à Saúde: uma revisão integrativa. In: XX Congresso Brasileiro de Informática em Saúde - CBIS24, 2024, Belo Horizonte - MG. XX Congresso Brasileiro de Informática em Saúde - CBIS24, 2024.
-
SOUZA-ZINADER, J. P. ; LEITAO-JUNIOR, PLINIO SA ; OLIVEIRA, M. L. D. ; SOUZA, D. A. ; CASTILHO, S. B. ; ESMERALDO, L. ; GUIMARAES, D. F. ; TIBIRICA, C. G. ; LUCENA, F. N. ; BRAGA, R. D. . Processo de Modelagem da Informação em Saúde: Uma Abordagem ao Contexto Brasileiro. In: XX Congresso Brasileiro de Informática em Saúde - CBIS24, 2024, Belo Horizonte - MG. XX Congresso Brasileiro de Informática em Saúde - CBIS24, 2024.
-
MATA, M. A. P. ; DE SÁ LEITÃO-JÚNIOR, PLÍNIO . Prediction of Skin Tumor Invasiveness: A National Analysis Through Explainable Artificial Intelligence (XAI). In: XXIV Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2024), 2024, Goiânia - GO. 2024: Anais do XXIV Simpósio Brasileiro de Computação Aplicada à Saúde, 2024.
-
SILVA-JUNIOR, DEUSLIRIO ; LEITAO-JUNIOR, PLINIO S. ; DANTAS, ALTINO ; CAMILO-JUNIOR, CELSO G. ; HARRISON, RACHEL . Data-flow-based evolutionary fault localization. In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, 2020, Brno Czech Republic. Proceedings of the 35th Annual ACM Symposium on Applied Computing, 2020. p. 1963-1970.
-
FREITAS, D. M. ; Leitao-Junior, P. S. ; CAMILO-JUNIOR, C. G. ; HARRISON, R. . Evolutionary Composition of Customised Fault Localisation Heuristics. In: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2018, Bruges (Belgium). European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2018.
-
DE-FREITAS, DIOGO M. ; LEITAO-JUNIOR, PLINIO S. ; CAMILO-JUNIOR, CELSO G. ; HARRISON, RACHEL . Mutation-Based Evolutionary Fault Localisation. In: 2018 IEEE Congress on Evolutionary Computation (CEC), 2018, Rio de Janeiro. 2018 IEEE Congress on Evolutionary Computation (CEC), 2018. p. 1.
-
FREITAS, D. M. ; Leitao-Junior, P. S. ; CAMILO-JUNIOR, C. G. ; BASILIO NETO, A. D. ; HARRISON, R. . Genetic Programming-based Composition of Fault Localization Heuristics. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2017, Fortaleza, Ceará. Workshop de Engenharia de Software Baseada em Busca (WESB), 2017.
-
SILVA, A. V. P. ; MARTINS, B. P. ; LUCENA, F. N. ; Leitao-Junior, P. S. ; SILVA, J. C. . Estratégias para Persistência de Dados Clínicos Baseada no openEHR. In: XV Congresso Brasileiro de Informática em Saúde (CBIS 2016), 2016, Goiânia, GO. XV Congresso Brasileiro de Informática em Saúde (CBIS 2016), 2016.
-
MARTINS, B. P. ; LUCENA, F. N. ; Leitao-Junior, P. S. . Persistência de dados clínicos baseados na modelagem multinível: uma revisão. In: XV Congresso Brasileiro de Informática em Saúde (CBIS 2016), 2016, Goiânia, GO. XV Congresso Brasileiro de Informática em Saúde (CBIS 2016), 2016.
-
ARANTES, G. F. ; FREITAS, D. M. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo . Systematic Functional Testing with Decision Table. In: I Simpósio Brasileiro de Teste de Software Sistemático e Automatizado, 2016, Maringá, PR. I Simpósio Brasileiro de Teste de Software Sistemático e Automatizado, 2016.
-
COSTA, D. O. ; Leitao-Junior, P. S. ; LUCENA, F. N. . Uma Análise de Instrumentos para Avaliar a Aderência ao Nível 2 do TMMi em Pequenas empresas. In: XI Simpósio Brasileiro de Sistemas de Informação, 2015, Goiânia, GO. XI Simpósio Brasileiro de Sistemas de Informação, 2015.
-
MARINS, W. F. ; SILVA, J. C. ; Leitao-Junior, P. S. . Interpreting queries to relational databases via domain ontologies. In: 14th International Conference on WWW/INTERNET, 2015, Maynooth, Greater Dublin, Irel. 14th International Conference on WWW/INTERNET, 2015.
-
FREITAS, D. M. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo . Aplicação de Propriedades de Weyuker, Parrish e Zweben a Critérios de Adequação. In: 9 thBrazilian Workshop on Systematic and Automated Software Testing ? SAST 2015, 2015, Belo Horizonte ? MG, Brazil. 9 thBrazilian Workshop on Systematic and Automated Software Testing, 2015.
-
RAMADA, M. S. ; SILVA, J. C. ; Leitao-Junior, P. S. . A method for semantic analysis of keyword-based queries to acess information in web databases. In: 13th International Conference WWW/Internet 2014 (ICWI 2014), 2014, Porto, Portugal. 13th International Conference WWW/Internet 2014 (ICWI 2014), 2014.
-
RAMADA, M. S. ; SILVA, J. C. ; Leitao-Junior, P. S. . Data Extraction from Structured Databases using Keyword-based Queries. In: 29o. Simpósio Brasileiro de Banco de Dados (SBBD), 2014, Curitiba - PR. 29o. Simpósio Brasileiro de Banco de Dados (SBBD), 2014.
-
RABELO-NETO, E. A. ; OLIVEIRA, A. A. L. ; Leitao-Junior, P. S. ; CAMILO-JUNIOR, C. G. ; RODRIGUES, C. L. ; VINCENZI, Auri Marcelo Rizzo . Avaliação de Técnicas para Redução de Base de Dados de Produção. In: V EATI - Encontro Anual de Tecnologia da Informação, 2014, Santa Maria - RS. V EATI - Encontro Anual de Tecnologia da Informação, 2014.
-
SILVEIRA, B. B. ; Leitao-Junior, P. S. ; RAMADA, M. S. ; MARTINS, B. P. . Geração de Base de Dados para o Teste de Aplicações de Banco de Dados pelo Emprego da Computação Evolucionária. In: V EATI - Encontro Anual de Tecnologia da Informação, 2014, Santa Maria - RS. V EATI - Encontro Anual de Tecnologia da Informação, 2014.
-
MACHADO, B. N. ; OLIVEIRA, A. A. L. ; MARTINS, B. P. ; CAMILO-JUNIOR, C. G. ; RODRIGUES, C. L. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo . SBSTFrame: uma proposta de framework para o teste de software baseado em busca. In: V Workshop de Engenharia de Software Baseada em Busca (WESB), 2014, Maceio - AL. V Workshop de Engenharia de Software Baseada em Busca (WESB), 2014.
-
BORGES, G. W. S. ; MARTINS, B. P. ; OLIVEIRA, A. A. L. ; CAMILO-JUNIOR, C. G. ; VINCENZI, Auri Marcelo Rizzo ; Leitao-Junior, P. S. . Um Algoritmo Genético no Modelo de Ilhas para Seleção de Casos de Teste na Análise de Mutantes. In: V Workshop de Engenharia de Software Baseada em Busca (WESB), 2014, Maceio - AL. V Workshop de Engenharia de Software Baseada em Busca (WESB), 2014.
-
MARTINS, B. P. ; OLIVEIRA, A. A. L. ; Leitao-Junior, P. S. ; CAMILO-JUNIOR, C. G. ; VINCENZI, Auri Marcelo Rizzo . Um Operador de Mutação para Algoritmos Evolucionários na Seleção de Casos de Teste da Análise de Mutantes. In: V EATI - Encontro Anual de Tecnologia da Informação, 2014, Santa Maria - RS. V EATI - Encontro Anual de Tecnologia da Informação, 2014.
-
SILVEIRA, B. B. ; Leitao-Junior, P. S. . Enumeração e Classificação de Defeitos em Consultas SQL. In: V Congresso de Computação do Sul de Mato Grosso (COMPSULMT 2013), 2013, Rondonópolis. V Congresso de Computação do Sul de Mato Grosso (COMPSULMT 2013), 2013.
-
ALMEIDA, F. A. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo ; LUCENA, F. N. . Geração de Bases de Dados de Teste pela Aplicação de Programação Evolucionária. In: Brazilian Workshop on Systematic and Automated Software testing, 2013, Brasília-DF. 7th Brazilian Workshop on Systematic and Automated Software testing, 2013.
-
ARANTES, G. F. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo ; LUCENA, F. N. . Functional Software Testing: A Systematic Mapping Study. In: The Eighth International Conference on Software Engineering Advances (ICSEA), 2013, Venice, Italy. The Eighth International Conference on Software Engineering Advances, 2013.
-
VINCENZI, Auri Marcelo Rizzo ; DEUS, G. D. ; SILVA, J. C. ; Leitao-Junior, P. S. ; MALDONADO, J. C. ; Delamaro, M. E. . The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products. In: The Eighth International Conference on Software Engineering Advances (ICSEA), 2013, Venice, Italy. The Eighth International Conference on Software Engineering Advances, 2013.
-
VINCENZI, Auri Marcelo Rizzo ; Silva, J. C. ; Leitao-Junior, P. S. ; MALDONADO, J. C. ; Delamaro, M. E. ; CHAIM, M. L. . How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software. In: The Eighth International Conference on Software Engineering Advances (ICSEA), 2013, Venice, Italy. The Eighth International Conference on Software Engineering Advances, 2013.
-
MONCAO, A. C. B. L. ; CAMILO-JUNIOR, C. G. ; QUEIROZ, L. T. ; RODRIGUES, C. L. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo . Shrinking a Database to Perform SQL Mutation Tests Using an Evolutionary Algorithm. In: IEEE Congress on Evolutionary Computation, 2013, Cancún, México. IEEE Congress on Evolutionary Computation, 2013.
-
Cabeca, A. G. ; Jino, M. ; Leitao-Junior, P. S. . Mutation Analysis for SQL Database Applications. In: Proceedings of The Fourth International Conference on Software Engineering Advances, 2009, Porto, Portugal. The Fourth International Conference on Software Engineering Advances, 2009.
-
Leitao-Junior, P. S. ; VILELA, P. R. S. ; Jino, M. ; Silva, J. C. . Granularity on Persistent Data Flow Testing of Active Database Applications. In: VI Workshop Latinoamericano de Ingeniería de Software Experimental, 2009, São Carlos, SP, Brazil. VI Workshop Latinoamericano de Ingeniería de Software Experimental, 2009.
-
CARDOSO, V. M. ; Leitao-Junior, P. S. ; Jino, M. . Suporte ao Teste de Sistemas de Informação Baseados em Regras Ativas Escritas em SQL. In: IV Simpósio Brasileiro de Sistemas de Informação, 2008, Rio de Janeiro, Brasil. IV Simpósio Brasileiro de Sistemas de Informação, 2008.
-
Cabeca, A. G. ; Leitao-Junior, P. S. ; Jino, M. . Análise de Mutantes em Aplicações SQL de Banco de Dados. In: Simpósio Brasileiro de Qualidade de Software, 2008, Florianópolis. Anais do Simpósio Brasileiro de Qualidade de Software, 2008. p. 31-46.
-
Leitao-Junior, P. S. ; VILELA, P. R. S. ; Jino, M. . Data Flow Testing of SQL-based Active Database Applications. In: The Third International Conference on Software Engineering Advances, 2008, Sliema, Malta. Proceedings of The Third International Conference on Software Engineering Advances, 2008.
-
SPOTO, E. S. ; Leitao-Junior, P. S. ; Jino, M. ; MALDONADO, J. C. . Teste Estrutural de Integração de Programas de Aplicação de Banco de Dados Relacional. In: IV Simpósio Brasileiro de Qualidade de Software, 2005, Porto Alegre. Anais do IV Simpósio Brasileiro de Qualidade de Software (SBQS 2005), 2005.
-
DE SA LEITAO, P. ; VILELA, P.R.S. ; Jino, M. . Mapping faults to failures in SQL manipulation commands. In: The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005., 2005, Cairo. The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005.. p. 172.
-
MONCAO, A. C. B. L. ; CAMILO-JUNIOR, C. G. ; QUEIROZ, L. T. ; RODRIGUES, C. L. ; Leitao-Junior, P. S. ; VINCENZI, Auri Marcelo Rizzo . Applying Genetic Algorithms to Data Selection for SQL Mutation Analysis. In: 2013 GECCO Genetic and Evolutionary Computation Conference, 2013, Amsterdam, The Netherlands. 2013 GECCO Genetic and Evolutionary Computation Conference, 2013.
-
Oliveira, R.M. ; Domingos, A.P. ; Leitao-Junior, P. S. . Aplicação dos Algoritmos Genéticos e Meméticos ao Problema do Caixeiro Viajante. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto. Anais do XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2003.
-
Leitao-Junior, P. S. ; MALDONADO, J. C. ; Jino, M. ; CHAIM, M. L. . POKE-TOOL Versão Cobol. In: VI Simpósio Brasileiro de Engenharia de Software, 1992, Gramado - RS. Anais do VI Simpósio Brasileiro de Engenharia de Software, 1992.
-
Leitao-Junior, P. S. ; VILELA, P. R. S. ; Jino, M. . Mapping Faults to Failures in SQL Manipulation Commands. 2005. (Apresentação de Trabalho/Conferência ou palestra).
Outras produções
Leitao-Junior, P. S. . Gestão de Multas de Trânsito. 2001.
Leitao-Junior, P. S. . Gestão de Cobrança. 1998.
Leitao-Junior, P. S. . Gestão de Locação de Veículos. 1997.
Leitao-Junior, P. S. . Serviço de Proteção ao Cheque. 1989.
Leitao-Junior, P. S. . Serviço de Proteção ao Crédito. 1987.
Leitao-Junior, P. S. . Fonetização de Busca Alfabética. 1987.
Leitao-Junior, P. S. . Revisor de artigos - XV Congresso Brasileiro de Informática em Saúde - CBIS 2016. 2016.
Leitao-Junior, P. S. . Revisor de artigos - XII Simpósio Brasileiro de Sistemas de Informação - SBSI 2016. 2016.
Leitao-Junior, P. S. . Revisor de artigos - I Simpósio Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2016. 2016.
Leitao-Junior, P. S. . Teste de Banco de Dados. 2004. (Palestra).
Leitao-Junior, P. S. . Teste Estrutural Baseado em Análise de Fluxo de Dados de Programas Cobol. 1992. (Palestra).
Projetos de pesquisa
-
2016 - Atual
LOCALIZAÇÃO DE DEFEITOS DE SOFTWARE BASEADA EM BUSCA: ESTADO DA ARTE, INVESTIGAÇÃO E AVALIAÇÃO DE NOVO MÉTODO, Descrição: Localização de defeitos é uma área de pesquisa que tem recebido muita atenção recentemente, e refere-se à identificação dos locais exatos de defeitos de software, sendo um processo caro e demorado. Técnicas baseadas em espectro usam "traces" de execução de software (ou abstrações deles) para correlacionar elementos de software com defeitos existentes no mesmo. Esta proposta de pesquisa centra-se na aplicação de meta-heurísticas evolucionárias no contexto de técnicas baseadas em espectro para resolver o problema de localização de defeitos: uma revisão sistemática irá examinar o estado da arte de estudos experimentais; a proposição de um novo método será investigada e o mesmo será empiricamente avaliado em termos de custo-eficácia e escalabilidade.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Plinio de Sa Leitao Junior - Coordenador / Edmundo S. Spoto - Integrante / Fabio Nogueira de Lucena - Integrante / Cássio Leonardo Rodrigues - Integrante / Celso Gonçalves Camilo-Júnior - Integrante.
-
2013 - 2019
APLICANDO METAHEURÍSTICAS PARA OTIMIZAÇÃO EM ENGENHARIA DE SOFTWARE, Descrição: Propor métodos pelo emprego de metaheurísticas, para a solução dos problemas da Engenharia de Software, que podem ser transformados em problemas de busca e, por isso, aptos a serem solucionados por técnicas de otimização.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Plinio de Sa Leitao Junior - Coordenador., Número de produções C, T & A: 8
-
2013 - 2016
DEFINIÇÃO, IMPLEMENTAÇÃO E ANÁLISE DE RECURSOS DE TESTE E VALIDAÇÃO, Descrição: O teste de produtos de software envolve basicamente quatro etapas: planejamento de testes, projeto de casos de teste, execução e avaliação dos resultados dos testes. Essas etapas devem ser desenvolvidas ao longo do próprio processo de desenvolvimento de software e concretizam-se em três fases de teste: de unidade, de integração e de sistema. Para fornecer uma maneira sistemática para a geração e avaliação de conjuntos de casos de teste, técnicas e critérios têm sido desenvolvidos. As técnicas e critérios de teste fornecem ao testador uma abordagem sistemática e teoricamente fundamentada, além de constituírem um mecanismo que pode auxiliar a avaliar a qualidade da atividade de teste. Dada a diversidade de critérios que têm sido estabelecidos, e reconhecido o caráter complementar das técnicas e critérios de teste, um ponto crucial que se coloca nessa perspectiva é a escolha e/ou a determinação de uma estratégia de teste, que em última análise passa pela escolha de critérios de teste, de forma que as vantagens de cada um desses critérios sejam combinadas objetivando uma atividade de teste de maior qualidade. O projeto visa à realização de estudos na área de teste de software, envolvendo teste de programas procedimentais, Orientados a Objetos e componentes de software. Tais estudos envolvem a definição e análise de critérios de teste que possam ser empregados no teste dos programas mencionados acima, além do desenvolvimento de ferramentas de apoio e a realização de estudos comparativos buscando avaliar o custo, eficácia e dificuldade de satisfação dos critérios de teste analisados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Plinio de Sa Leitao Junior - Coordenador / Edmundo S. Spoto - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante / Cássio Leonardo Rodrigues - Integrante / Celso Gonçalves Camilo-Júnior - Integrante / João Carlos da Silva - Integrante., Número de produções C, T & A: 6
-
2010 - 2016
Estudo e Desenvolvimento de Técnicas de Verificação e Validação de Software e Ferramentas Relacionadas para o Centro de Tecnologia de Software do INF/UFG, Descrição: O projeto promove investigações de técnicas e critérios de testes para a avaliação funcional de produtos de software, e o desenvolvimento de material de ensino/aprendizagem, tal que culmine em serviços de certificação de software no Centro de Tecnologia de Software, segundo normas e padrões existentes.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Plinio de Sa Leitao Junior - Coordenador.
Histórico profissional
Endereço profissional
-
Universidade Federal de Goiás, Instituto de Informática. , Alameda Palmeiras, Quadra D, Câmpus Samambaia, Câmpus Samambaia - UFG, 74690900 - Goiânia, GO - Brasil, Telefone: (62) 35211181, Fax: (62) 35211182, URL da Homepage:
Experiência profissional
2008 - Atual
Universidade Federal de GoiásVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
02/2008
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados, Estruturas de Dados 1, Estruturas de Dados 2
-
03/2010 - 02/2012
Direção e administração, Instituto de Informática.,Cargo ou função, Coordenador de Curso.
2006 - 2008
Universidade Federal de LavrasVínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
10/2006 - 01/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados, Introdução à Informática, Recuperação de Informação
1999 - 2001
Universidade Católica de BrasíliaVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 36
Atividades
-
08/1999 - 02/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Paradigmas de Programação, Banco de Dados I
1995 - 1998
OMEGA ASSESSORIA DE INFORMÁTICA LTDAVínculo: Sócio da empresa, Enquadramento Funcional: Consultor técnico, Carga horária: 40
Atividades
-
09/1995 - 12/1998
Serviços técnicos especializados , Desenvolvimento de sistemas.,Serviço realizado, Desenvolvimento de sistemas; assessoria em projetos de banco de dados; administração financeira da empresa.
1993 - 1995
Softcraft Informática LtdaVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
01/1993 - 04/1995
Serviços técnicos especializados .,Serviço realizado, Desenvolvimento de Software.
1987 - 1990
Secrel Consultoria e SistemasVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
01/1987 - 02/1990
Serviços técnicos especializados .,Serviço realizado, Desenvolvimento de Software.
1986 - 1987
Burroughs Eletrónica LtdaVínculo: Estagiário, Enquadramento Funcional: Trainee - Análise de Sistemas/Suporte, Carga horária: 20
Atividades
-
01/1986 - 01/1987
Serviços técnicos especializados , Suporte e Sistemas.,Serviço realizado, Formação em sistemas e suporte a ambientes Burroughs - Série A.
1997 - 1999
ASSOCIAÇÃO DE ENSINO SUPERIOR DE FORTALEZAVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8
Atividades
-
03/1997 - 06/1999
Ensino, Tecnologia em Informática, Nível: Graduação,Disciplinas ministradas, Banco de Dados
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Plinio de Sa Leitao Junior 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?