Francisco Gomes de Oliveira Neto

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Seleção Automática de Casos de Teste de Regressão Baseada em Similaridade e Valores. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 139-154, 2013.

• OLIVEIRA NETO, F. G. ; CARTAXO, E. G. ; MACHADO, P. D. L. . On the use of a similarity function for test case selection in the context of model-based testing. Software Testing, Verification & Reliability , v. 21, p. 75-100, 2011.

• GUEDES, E. B. ; NASCIMENTO, M. R. ; OLIVEIRA NETO, F. G. ; MENDONÇA, A. P. ; SANTOS JÚNIOR, G. P. ; FECHINE, J. M. . Composição Dinâmica de Listas de Problemas de Programação Utilizando Algoritmos Genéticos Interativos. Hífen (Uruguaiana. Online) , v. 32, p. 229-236, 2008.

• OLIVEIRA NETO, F. G. ; TORKAR, R. ; MACHADO, P. D. L. . An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. In: International Conference on Software Engineering - New Ideas and Emerging Results track, 2015, Florença. 37th International Conference on Software Engineering, 2015.

• JORGE, D. N. ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; COUTINHO, A. E. V. ; OURIQUES, J.F.S. . Integrando Teste Baseado em Modelos no Desenvolvimento de uma Aplicação Industrial: Benefícios e Desafios. In: Workshop on Systematic and Automated Software Testing, 2014, Maceió. Workshop on Systematic and Automated Software Testing. v. 8.

• OLIVEIRA NETO, F. G. ; FELDT, R. ; TORKAR, R. ; MACHADO, P. D. L. . Searching for models to evaluate software technology. In: Combining Modelling and Search-based Software Engineering, 2013, San Francisco. Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (co-located with the 35th International Conference on Software Engineering), 2013.

• ARAUJO, J. D. S. ; CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Controlando a Diversidade e a Quantidade de Casos de Teste na Geração Automática a partir de Modelos com Loop. In: Workshop on Systematic and Automated Software Testing, 2012, Natal. 6th Workshop on Systematic and Automated Software Testing, 2012.

• OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados na Especificação do Sistema. In: Brazilian Workshop on Systematic and Automated Software Testing, 2011, São Paulo. 5th Brazilian Workshop on Systematic and Automated Software Testing, 2011. v. 5.

• CARTAXO, E. G. ; ANDRADE, W.L. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . LTS-BT: A Tool to Generate and Select Functional Test Cases for Embedded Systems. In: Symposium on Applied Computing, 2008, Fortaleza. Symposium on Applied Computing, 2008. v. 2.

• CARTAXO, E. G. ; MACHADO, P. D. L. ; OLIVEIRA NETO, F. G. ; OURIQUES, J.F.S. . Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. In: Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. SBES'08, 2008.

• OLIVEIRA NETO, F. G. ; CARTAXO, E. G. ; MACHADO, P. D. L. ; OURIQUES, J.F.S. . Reducing the Size of Test Cases Based on Similarities. In: 2nd Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. SBES'08, 2008.

• ANDRADE, W.L. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Testes e Tolerância a Falhas, 2007, Belém. VIII Workshop de Testes e Tolerância a Falhas - WTF 2007, 2007. p. 129-142.

• CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Automated Test Case Selection Based on a Similarity Function. In: MOTES07 - Model-based Testing - Workshop in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, 2007, Bremen. Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft fur Informatic (GI), 2007. v. 110. p. 381-386.

• CARTAXO, E. G. ; OLIVEIRA NETO, F. G. ; MACHADO, P. D. L. . Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems.. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal., 2007. p. 1292-1297.

• OLIVEIRA NETO, F. G. ; FECHINE, J. M. ; PEREIRA, R. R. G. ; SILVA, P. F. Q. ; OLIVEIRA, M. G. ; QUEIROZ, J. E. R. . MATRACA: A Tool to Provide Support for People with Impaired Vision when Using the Computer for Simple Tasks. In: ACM Symposium on Applied Computing, 2009, Honolulu. The 24th Annual ACM Symposium on Applied Computing, 2009. p. 158-159.

• ARAUJO FILHO, C. R. ; OLIVEIRA NETO, F. G. ; MARINUS, J. V. M. L. ; FECHINE, J. M. . SKULL - Ferramenta para Análise Biométrica. In: VII Encontro Nordestino dos Grupos PET, 2008, Fortaleza. Anais do VII Encontro Nordestino dos Grupos PET, 2008.

• GUEDES, E. B. ; NASCIMENTO, M. R. ; OLIVEIRA NETO, F. G. ; MENDONÇA, A. P. ; SANTOS JÚNIOR, G. P. ; FECHINE, J. M. . Uma aplicação de Algoritmos Genéticos Interativos para Composição de Listas de Problemas de Programação. In: Simpósio Brasileiro de Informática na Educação, 2008, Fortaleza. XIX Simpósio Brasileiro de Informática na Educação. Porto-Alegre: Sociedade Brasieleira de Computação, 2008.

• OLIVEIRA NETO, F. G. ; PEREIRA, R. R. G. ; SILVA, P. F. Q. ; OLIVEIRA, M. G. ; FECHINE, J. M. ; QUEIROZ, J. E. R. . WebSpeech: Uma ferramenta de apoio a deficientes visuais no uso do computador. In: V Congresso IBERDISCAP: Tecnologías de Apoyo a la Discapacidad, 2008, Cartágena das ìndias. Nome do evento, 2008.

Outras produções

Projetos de pesquisa

• 2014 - Atual

  Application of Reproducibility Research with Software Testing Techniques, Projeto certificado pelo(a) coordenador(a) Patricia Duarte de Lima Machado em 08/03/2015., Descrição: O objetivo do projeto é investigar, propor, desenvolver e aplicar métodos e técnicas para melhorar o nível de reprodutibilidade de experimentos realizados com técnicas de teste de software. Baseado num suporte ferramental, pesquisadores podem propor e compartilhar experimentos que produzem uma saída comum (compêndios), posteriormente reutilizáveis em outros experimentos. Este projeto faz parte de uma colaboração entre a UFCG e a Chalmers and the University of Gothenburg (Suécia). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Francisco Gomes de Oliveira Neto - Integrante / Patrícia Duarte de Lima Machado - Coordenador / Richard Torkar - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.

• 2009 - Atual

  Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, Descrição: Devido ao cenário atual de falta de produtividade e qualidade em desenvolvimento de software, há uma necessidade urgente de aplicar técnicas de manufatura e princípios de Engenharia de Software para emular os benefícios da manufatura tradicional. Este é o conceito real de Fábricas de Software , onde há um processo de montagem com controle de custo/benefício e preocupação constante com inovação. O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Francisco Gomes de Oliveira Neto - Integrante / Wilkerson de Lucena Andrade - Integrante / Patrícia Duarte de Lima Machado - Coordenador / Emanuela Gadelha Cartaxo - Integrante / Jorge César Abrantes de Figueiredo - Integrante / Sidney de Carvalho Nogueira - Integrante.

• 2008 - 2009

  Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real, Descrição: Este projeto tem como enfoque o uso combinado de métodos formais e técnicas de teste baseado em modelos para sistemas embarcados de tempo real. O principal objetivo é compartilhar conhecimentos e experiências para promover avanços conjuntos nesta área de pesquisa. Em particular, procuramos com este projeto promover o desenvolvimento tecnológico de qualidade de sistemas corretos e seguros. O projeto considerará as seguintes direções de pesquisa: (1) investigação de modelos de sistemas de software heterogêneos com características tais como não-determinismo, tempo e interrupção; (2) desenvolvimento de padrões de modelagem para sistemas embarcados utilizando formalismos baseados em estados e processos; (3) proposta de padrões de desenvolvimento baseado em refinamento de modelos baseados em estados e processos; (4) geração automática de código para hardware e software; (5) testes a partir de modelos parciais, considerando sua geração a partir de casos de teste abstratos e comportamento observável; (6) aprimoramento de técnicas atuais para a geração de casos de teste considerando critérios semânticos de cobertura além dos critérios de cobertura estrutural, bem como relações de conformidade pertinentes e critérios de cobertura de verificação de modelos; (7) investigação das relações de conformidade com base em falha e divergência em álgebras de processo; (8) proposta de estratégias para a seleção automática de casos de teste com base em funções de similaridade.. . , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Francisco Gomes de Oliveira Neto - Integrante / Wilkerson de Lucena Andrade - Integrante / Patrícia Duarte de Lima Machado - Coordenador / Emanuela Gadelha Cartaxo - Integrante / Paulo Henrique Monteiro Borba - Integrante / Augusto Cezar Alves Sampaio - Integrante.

• 2006 - 2007

  Brazil Test Center Research, Descrição: O objetivo do projeto é desenvolver um processo para ajudar na avaliação, seleção e geração de casos de teste de aplicações para celulares. Esse projeto é fruto de uma parceria entre o Motorola BTC (Brazil Test Center), o CIn-UFPE (Centro de Informática da Universidade Federal do Pernambuco) e o CESAR (Centro de Estudos Avaçados do Recife).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (6) / Doutorado: (5) . , Integrantes: Francisco Gomes de Oliveira Neto - Integrante / Wilkerson de Lucena Andrade - Integrante / Patrícia Duarte de Lima Machado - Integrante / Emanuela Gadelha Cartaxo - Integrante / Laísa Helena Oliveira do Nascimento - Integrante / Sidney de Carvalho Nogueira - Integrante / Paulo Henrique Monteiro Borba - Coordenador / Augusto Cezar Alves Sampaio - Integrante / Flávia de Almeida Barros - Integrante / Eduardo Henrique da Silva Aranha - Integrante / Rafael Marques - Integrante / Dante Torres - Integrante.

Prêmios