Leonardo Fernandes Mendonça de Oliveira

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• AMORIM, SAMUEL ; FERNANDES, LEO ; RIBEIRO, MÁRCIO ; GHEYI, ROHIT ; DELAMARO, MARCIO ; GUIMARÃES, MARCIO ; SANTOS, ANDRÉ . Reducing Manual Efforts in Equivalence Analysis in Mutation Testing. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 12, p. 3:1-3:17, 2024.

• GHEYI, ROHIT ; RIBEIRO, MÁRCIO ; SOUZA, BEATRIZ ; GUIMARÃES, MARCIO ; FERNANDES, LEO ; D?AMORIM, MARCELO ; ALVES, VANDER ; TEIXEIRA, LEOPOLDO ; FONSECA, BALDOINO . Identifying method-level mutation subsumption relations using Z3. INFORMATION AND SOFTWARE TECHNOLOGY , v. 132, p. 106496, 2021.

• PINHEIRO, PEDRO ; VIANA, JOSÉ CARLOS ; RIBEIRO, MÁRCIO ; FERNANDES, LEO ; FERRARI, FABIANO ; GHEYI, ROHIT ; FONSECA, BALDOINO . Mutating Code Annotations: An Empirical Evaluation on Java and C# Programs. SCIENCE OF COMPUTER PROGRAMMING , v. 1, p. 102418, 2020.

• PIZZOLETO, ALESSANDRO VIOLA ; FERRARI, FABIANO CUTIGI ; OFFUTT, JEFF ; FERNANDES, LEO ; RIBEIRO, MÁRCIO . A systematic literature review of techniques and metrics to reduce the cost of mutation testing. JOURNAL OF SYSTEMS AND SOFTWARE , v. 157, p. 110388, 2019.

• OLIVEIRA, L. F. M. . OSGi e os Benefícios de uma Arquitetura Modular. Mundojava (Curitiba), 20 set. 2009.

• WIESE, IGOR ; DA SILVA B. SOUZA, GEORGE ; SOUZA, JAIRO ; FERNANDES, LEO ; IKEDA, MARIA EDUARDA T. S. ; SANTOS, DANIEL OLIVEIRA DOS ; FRAGA, ISMAEL TRINDADE ; PINTO, RENATO TORRES ; BARBOZA, ERICK ; FONSECA, BALDOINO ; RIBEIRO, MÁRCIO . AI-Driven Reliability Through Anomaly Detection System in Industry 4.0. In: 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2025, São Paulo. 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2025. p. 63.

• FERNANDES, LEO ; ROCHA, JOÃO VITOR SOUZA ; WIESE, IGOR ; CORREIA, JOÃO LUCAS ; FRAGA, ISMAEL TRINDADE ; PINTO, RENATO TORRES ; BARBOZA, ERICK ; FONSECA, BALDOINO ; RIBEIRO, MÁRCIO . Case Study: Applying Fuzzing to REST APIs in a Large-Scale Industrial Setting. In: 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2025, São Paulo. 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2025. p. 45.

• FERNANDES, LEO ; RIBEIRO, MÁRCIO ; GHEYI, ROHIT ; DELAMARO, MARCIO ; GUIMARÃES, MÁRCIO ; SANTOS, ANDRÉ . Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering, 2022. p. 198-207.

• SOARES, ELVYS ; RIBEIRO, MÁRCIO ; AMARAL, GUILHERME ; GHEYI, ROHIT ; FERNANDES, LEO ; GARCIA, ALESSANDRO ; FONSECA, BALDOINO ; SANTOS, ANDRÉ . Refactoring Test Smells. In: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal Brazil. Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing. p. 50.

• CARVALHO, LUIZ ; GUIMARÃES, MARCIO AUGUSTO ; RIBEIRO, MÁRCIO ; FERNANDES, LEONARDO ; AL-HAJJAJI, MUSTAFA ; GHEYI, ROHIT ; THÜM, THOMAS . Equivalent Mutants in Configurable Systems. In: the 12th International Workshop, 2018, Madrid. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS 2018. New York: ACM Press, 2018. p. 11.

• PINHEIRO, PEDRO ; VIANA, JOSÉ CARLOS ; FERNANDES, LEONARDO ; RIBEIRO, MÁRCIO ; FERRARI, FABIANO ; FONSECA, BALDOINO ; GHEYI, ROHIT . Mutation Operators for Code Annotations. In: the III Brazilian Symposium, 2018, SAO CARLOS. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing - SAST '18. New York: ACM Press, 2018. p. 77-86.

• FERNANDES, LEONARDO ; RIBEIRO, MÁRCIO ; CARVALHO, LUIZ ; GHEYI, ROHIT ; MONGIOVI, MELINA ; SANTOS, ANDRÉ ; CAVALCANTI, ANA ; FERRARI, FABIANO ; MALDONADO, JOSÉ CARLOS . Avoiding useless mutants. In: the 16th ACM SIGPLAN International Conference, 2017, Vancouver. Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2017. New York: ACM, 2017. v. 52. p. 187-198.

• Fabio Q. B. Da Silva ; Marcos Suassuna ; Rodrigo F. Lopes ; T. B. Gouveia ; França, A. C. A. ; Oliveira, J. P. N. ; OLIVEIRA, L. F. M. ; Santos, A. L. M. . Replication of Empirical Studies in Software Engineering: Preliminary Findings from a Systematic Mapping Study. In: Replication in Empirical Software Engineering Research (RESER), Second International Workshop on, 2011, Alberta. Replication in Empirical Software Engineering Research (RESER), 2011 Second International Workshop on, 2011. p. 61-70.

• QUEIROZ, F. B ; OLIVEIRA, L. F. M. . Integração Contínua com Software Livre: Um relato de implantação na Fundação de Amparo a Pesquisa do Estado de Alagoas ? FAPEAL. In: XI Workshop de Software Livre (WSL), 2010, Porto Alegre. XI Workshop de Software Livre, 2010. p. 16-21.

• OLIVEIRA, L. F. M. ; FELIPE, W. ; NUNES, A. ; MORAES JUNIOR, E. C. . SICIAH: Um modelo de automatização - Residências Inteligentes. In: IV Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica - CONNEPI 2009, 2009, Belém. IV Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica - CONNEPI 2009, 2009.

• OLIVEIRA, L. F. M. de . Introdução a Computação Embarcada e a Robótica com Arduino e Raspberry PI. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, L. F. M. de . Introdução a Computação Distribuída com Python, Raspberry e MPI. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, L. F. M. de . Curso de Informática no IFAL - Campus Arapiraca. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, L. F. M. ; QUEIROZ, F. B . Desenvolvimento de Aplicações Web Ágeis Com Python/Django. 2009. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, L. F. M. . Seja um Programador Pragmático. 2008. (Apresentação de Trabalho/Congresso).

Outras produções

Projetos de pesquisa

• 2023 - 2024

  AMO - Alagoas no Mapa da OBI (Olimpíada Brasileira de Informática), Descrição: O projeto AMO (Alagoas no Mapa da OBI) objetiva capacitar estudantes com idade entre 15 e 18 anos em lógica de programação, algoritmos estrutura de dados para participarem da Olimpíada Brasileira de Informática (OBI), e para estarem aptos a futuras carreiras em tecnologia da informação (TI). A iniciativa é voltada para estudantes do Instituto Federal de Alagoas, bem como estudantes de escolas públicas de Maceió, e busca promover a inclusão digital e combater a exclusão social, oferecendo oportunidades de formação em TI. Durante 12 meses, os participantes receberão treinamento em técnicas avançadas de programação e resolução de problemas, com o objetivo de se destacarem na OBI. Nos primeiros 6 meses do projeto, nós dividimos os alunos (bolsistas e voluntários) em 5 equipes: treinamento interno, treinamento externo, treinamento transversal (hard skills e soft skills), divulgação e manutenção do AlgorIF. O treinamento interno ficou responsável por criar o grupo de estudos para OBI com alunos do IFAL-Maceió. O treinamento externo ficou responsável por buscar escolas parceiras para criar grupos de estudos para OBI com alunos do ensino fundamental. O treinamento transversal ficou responsável por conteúdos relacionados a TI. A equipe de divulgação ficou responsável pela comunicação do projeto. E a equipe de manutenção do AlgorIF ficou responsável pela evolução e manutenção do sistema AlgorIF. Neste relatório, nós discutiremos as ações realizadas e os resultados alcançados nos primeiros 6 meses de projeto.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leonardo Fernandes Mendonça de Oliveira - Coordenador / ANA GABRIELY OLIVEIRA DOS SANTOS - Integrante / MAYKON LUCAS FERREIRA DIAS - Integrante / NICOLAS ALBUQUERQUE RAMOS - Integrante / DANILO RODRIGUES DE AZAVEDO - Integrante / VICTORIA ANTONELLA DE OLIVEIRA COSTA - Integrante / RAYANNE KARYNE DE OLIVEIRA SANTOS - Integrante / GUILHERME DAVI DE SOUSA NASCIMENTO - Integrante / TALYSLAN CAUAN PIMENTEL CANABARRO - Integrante / MATHEUS FERREIRA DA SILVA BARROS - Integrante / JHONATAN ÉRIK DOS SANTOS SILVA - Integrante / AUGUSTO CESAR MELO DE OLIVEIRA - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.

• 2023 - 2024

  Reduzindo o Esforço Manual em Teste de Mutação, Descrição: O teste de mutação atraiu muito interesse por causa de sua reputação como como um poderoso critério de adequação para conjuntos de testes e por sua capacidade de orientar a geração de casos de teste. Entretanto, a presença de mutantes equivalentes e inúteis dificulta seu uso pela indústria. O problema do mutante equivalente já foi já foi comprovado como indecidível, mas a detecção manual de mutantes equivalentes é uma tarefa propensa a erros e consome muito tempo. Assim, soluções parciais podem ajudar a reduzir esse custo. Os mutantes inúteis também já foram identificados, contudo, não existem técnicas eficientes para eliminar estes mutantes antes da geração dos mesmos, o que torna a técnica muito custosa. Este projeto pesquisa abordagens para sugerir mutantes equivalentes e inúteis. Uma possível abordagem é baseada em testes comportamentais automatizados, que consiste em casos de teste baseados no comportamento do programa original. Outra possível abordagem seria a utilização de algoritmos de aprendizagem de máquina para identificar mutantes equivlaentes e inúteis semelhantes e previamente identificados. Ao final do projeto, nós pretendemos submeter nossos achados para validação pela comunidade de teste software em através de revistas e conferências internacionais revisadas e de alto impacto para a ciência.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Leonardo Fernandes Mendonça de Oliveira - Coordenador / ELVYS ALVES SOARES - Integrante / SAMUEL VELOSO DE AMORIM - Integrante., Financiador(es): Instituto Federal de Alagoas - Bolsa., Número de produções C, T & A: 1

• 2022 - Atual

  Investigação de barreiras e indicação de melhorias na geração automática de casos de testes, Descrição: Para encontrar defeitos no software, são necessários casos de teste que executem o software sistematicamente e oráculos que avaliem a correção do comportamento observado ao executar esses casos de teste. O desafio fundamental em testar exaustivamente um programa é que o número de entradas possíveis é grande. Por exemplo, um simples programa que recebe como entrada quatro inteiros de 64 bits e os soma, precisaria de 2^256 combinações diferentes de inteiros para testar exaustivamente este programa. Logo, precisamos gerar escolher um subconjunto de entradas "interessantes" para testar o programa. Apesar da execução dos testes terem sido automatizadas com muito sucesso nos últimos anos, a geração deste subconjunto de entradas é feito, ainda, de forma manual por grande parte da indústria. Levando a um gastos considerável de tempo pela equipe de desenvolvimento. Uma boa maneira de reduzir o tempo gasto na escolha das entradas de teste é automatizar o processo. Essa observação deu origem ao campo de geração automatizada de testes, que é o assunto deste projeto. Neste projeto pretendemos investigar as barreiras e indicar de melhorias na geração automática de casos de testes para sistemas de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leonardo Fernandes Mendonça de Oliveira - Coordenador.

Prêmios