Bruno Teixeira de Abreu

possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2004) e mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2006), com ênfase em Testes de Software. Tem experiência na área de Ciência da Computação, com ênfase em Verificação e Validação, atuando principalmente nos seguintes temas: Qualidade de Software, Geração de Dados de Testes de Software, Testes de regressão, Estimativa de esforço para testes e Computação Evolutiva.

Informações coletadas do Lattes em 07/05/2026

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2004 - 2006

Universidade Estadual de Campinas
Orientador: Eliane Martins
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Engenharia de software; Computação evolutiva; Teste de software; Teste orientado a caminhos; Geração automática de dados de teste.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Informaçã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: Computação Evolutiva. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Informação / Especialidade: Geração de Testes e Análise de Resultados. Setores de atividade: Desenvolvimento de Programas (Software); Outras Atividades de Assessoria e Consultoria Às Empresas; Consultoria em Sistemas de Informática.

Graduação em Ciência da Computação

2000 - 2004

Universidade Federal de Minas Gerais
Orientador: José Lopes de Siqueira Neto

Idiomas

Inglês

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

Espanhol

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

Alemão

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

Áreas de atuação

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

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

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Informação/Especialidade: Tolerância a Falhas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Informação/Especialidade: Manutenção 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: Computação Evolutiva.

Participação em eventos

XXXVII SPIN Campinas.Análise da Causa de Defeitos em Aplicações Web. 2009. (Encontro).

XXXII SPIN Campinas.Identificação de issues e redução de custos de manutenção em cenários de teste através de Peer Reviews. 2008. (Encontro).

SPIN Sorocaba. 2008. (Encontro).

Genetic and Evolutionary Computation Conference. Generalized Extremal Optimization: an attractive alternative for test data generation. 2007. (Congresso).

XXI Simpósio Brasileiro de Engenharia de Software.Generalized Extremal Optimization: a competitive algorithm for test data generation. 2007. (Simpósio).

17th IEEE International Symposium on Software Reliability Engineering.Generalized Extremal Optimization Applied to Path Testing. 2006. (Simpósio).

XXIV SPIN Campinas. 2006. (Encontro).

XIX Simpósio Brasileiro de Engenharia de Software.Automatic test data generation for path testing using a new stochastic algorithm. 2005. (Simpósio).

Orientou

Gabriela de Oliveira Patuci

Aplicação de uma metodologia em Testes Sistêmicos; 2007; Trabalho de Conclusão de Curso; (Graduação em Graduação em Tecnologia em Informática) - Universidade Estadual de Campinas; Orientador: Bruno Teixeira de Abreu;

Produções bibliográficas

AYALA-RINCON, M. ; DE ABREU, B. T. ; DE SIQUEIRA, J. . A variant of the Ford-Johnson algorithm that is more space efficient. Information Processing Letters (Print) , v. 102, p. 201-207, 2007.
VILLAS-BOAS, FERNANDO R. ; DE ALMEIDA, E. R. C. ; DE ABREU, B. T. . Advance adherence to the upcoming standard ISO/IEC 29119. In: Fifth Latin-American Symposium on Dependable Computing, 2011, São José dos Campos. To appear, 2011.
SILVA, D. G. ; JINO, M. ; DE ABREU, B. T. . Machine learning methods and asymmetric cost function to estimate execution effort of software testing. In: Third International Conference on Software Testing, Verification and Validation, 2010, Paris. Proc. of the Third International Conference on Software Testing, Verification, and Validation. Los Alamitos, CA, USA: IEEE Computer Society, 2010. p. 275-284.
DE ALMEIDA, E. R. C. ; DE ABREU, B. T. ; MORAES, R. . An Alternative Approach to Test Effort Estimation Based on Use Cases. In: International Conference on Software Testing Verification and Validation, 2009, Denver. Proc. of the 2nd International Conference on Software Testing Verification and Validation. Los Alamitos, CA, USA: IEEE Computer Society, 2009. p. 279-288.
SILVA, D. G. ; DE ABREU, B. T. ; JINO, M. . A Simple Approach for Estimation of Execution Effort of Functional Test Cases. In: International Conference on Software Testing Verification and Validation, 2009, Denver. Proc. of the 2nd International Conference on Software Testing Verification and Validation. Washington, DC, USA: IEEE Computer Society, 2009. p. 289-298.
MORAES, R. ; DE ABREU, B. T. ; MARTINS, E. . Mapping Web-based Applications Failures to Faults. In: 4th Latin-American Symposium on Dependable Computing, 2009, João Pessoa. Proc. of the Fourth Latin-American Symposium on Dependable Computing. Los Alamitos, CA, USA: IEEE Computer Society, 2009. p. 89-94.
DE ALMEIDA, E. R. C. ; DE ABREU, B. T. ; MORAES, R. ; MARTINS, E. . Avaliação de um Método para Estimativa de Esforço para Testes baseado em Casos de Uso. In: Simpósio Brasileiro de Qualidade de Software, 2008, Florianópolis. Anais do 7o. Simpósio Brasileiro de Qualidade de Software, 2008. v. 1. p. 331-338.
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization: a competitive algorithm for test data generation. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. Anais do Simpósio Brasileiro de Engenharia de Software, 2007. v. 21. p. 342-358.
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Automatic Test Data Generation for Path Testing using a New Stochastic Algorithm. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 2005. v. 19. p. 247-262.
LETIZIO, CAROLINE C. ; DE ABREU, B. T. ; VILLAS-BOAS, FERNANDO R. . Generating test scenarios and improving software quality with model-based testing. In: Latin-American Symposium on Dependable Computing, 2011, São José dos Campos. To appear, 2011.
DE ALMEIDA, E. R. C. ; DE ABREU, B. T. ; MORAES, R. . A Simple Approach to Automated Test Effort Estimation. In: 4th Latin-American Symposium on Dependable Computing, 2009, João Pessoa. Proc. of the Fourth Latin-American Symposium on Dependable Computing, 2009. v. 1. p. 1-2.
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization: an attractive alternative for test data generation. In: Genetic And Evolutionary Computation Conference, 2007, London. GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation. New York: ACM, 2007. p. 1138-1138.
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization Applied to Path Testing. In: International Symposium on Software Reliability Engineering, 2006, Raleigh. Supplemental Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering, 2006.
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization: an attractive alternative for test data generation. 2007. (Apresentação de Trabalho/Conferência ou palestra).
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization: a competitive algorithm for test data generation. 2007. (Apresentação de Trabalho/Simpósio).
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Generalized Extremal Optimization Applied to Path Testing. 2006. (Apresentação de Trabalho/Simpósio).
DE ABREU, B. T. ; MARTINS, E. ; SOUSA, F. . Automatic test data generation for path testing using a new stochastic algorithm. 2005. (Apresentação de Trabalho/Simpósio).

Outras produções

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Verificação & Validação. 2010. (Curso de curta duração ministrado/Extensão).

MORAES, R. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Manutenção de Software. 2010. (Curso de curta duração ministrado/Extensão).

MORAES, R. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Manutenção de Software. 2009. (Curso de curta duração ministrado/Extensão).

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Verificação & Validação. 2009. (Curso de curta duração ministrado/Extensão).

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Verificação & Validação. 2008. (Curso de curta duração ministrado/Extensão).

MORAES, R. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Manutenção de Software. 2008. (Curso de curta duração ministrado/Extensão).

DE ABREU, B. T. ; MARTINS, E. . Especialização em Engenharia de Software - Verificação & Validação. 2007. (Curso de curta duração ministrado/Extensão).

DE ABREU, B. T. . Computação Evolutiva. 2007. (Curso de curta duração ministrado/Outra).

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Verificação & Validação. 2006. (Curso de curta duração ministrado/Extensão).

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Verificação & Validação. 2005. (Curso de curta duração ministrado/Extensão).

MARTINS, E. ; DE ABREU, B. T. . Especialização em Engenharia de Software - Manutenção e Ferramentas CASE. 2005. (Curso de curta duração ministrado/Extensão).

Projetos de desenvolvimento

2006 - 2009

HARPIA - Inteligência Artificial aplicada contra a Sonegação, Descrição: O objetivo do projeto é usar técnicas de Inteligência Artificial para criar um sistema de identificação, previsão e classificação de risco aduaneiro. Deseja-se descobrir sonegação, pirataria, contrabando e outros crimes similares em operações de importação e exportação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) . , Integrantes: Bruno Teixeira de Abreu - Integrante / Eliane Martins - Integrante / Regina Moraes - Coordenador.

Prêmios

2003

Menção Honrosa devido à dedicação e comprometimento na execução das atividades como Diretor Administrativo/Financeiro da empresa, UFMG Informática Júnior.

1999

Cinco melhores do estado de Minas Gerais e primeiro lugar no Leste Mineiro na Olimpíada Brasileira de Física de 1999., Sociedade Brasileira de Física.

Histórico profissional

Experiência profissional

2002 - 2003

Universidade Federal de Minas Gerais

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação à Docência, Carga horária: 20

Outras informações:
Trabalhei no curso de graduação Algoritmos e Estruturas de Dados II como Monitor de Disciplina. Eu auxiliei o professor José de Siqueira a organizar o material do curso e as tarefas para avaliar os alunos. As tarefas foram avaliadas por mim, e eu também ofereci auxílio individual aos alunos.

2007 - 2009

SOFIST - INTELLIGENT SOFTWARE TESTING

Vínculo: Sócio, Enquadramento Funcional: Diretor Técnico, Carga horária: 20

Outras informações:
Sócio-fundador da empresa. O projeto foi aprovado pela Incubadora de Empresas SOFTEX/Campinas; a empresa visa oferecer serviços de testes de software às empresas de desenvolvimento, bem como soluções inovadores para gerência de testes e controle de qualidade. Participio de reuniões de negócio, gerencio projetos de teste de software oferecidos aos clientes, bem como participo ativamente da definição de projetos de pesquisa para a empresa. Além disso, sou responsável pela área administrativa e financeira da empresa.

2004 - 2004

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação à Docência, Carga horária: 20

Outras informações:
Trabalhei no curso de graduação Laboratório de Projeto de Sistemas de Informação como Monitor de Disciplina, apoiando o professor Sindo Vasquez. O curso focou no uso de técnicas de Verificação & Validação em software, principalmente na atividade de testes. Eu auxiliei o professor na organização do curso e avaliação dos alunos, além de ter oferecido auxílio individual a eles.

2005 - 2005

Expertus Consultants

Vínculo: Sócio, Enquadramento Funcional: Diretor Presidente, Carga horária: 30

Outras informações:
Sócio-fundador da empresa. O projeto foi aprovado pela Incubadora de Empresas SOFTEX/Campinas; a empresa ofereceria serviços de testes de software às empresas de desenvolvimento. Além de executar tarefas administrativas, também fui responsável pela área de pesquisa em técnicas de projeto e automação de testes de software.

2001 - 2002

Laboratório de Computação Científica da UFMG

Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20

Outras informações:
Descrição: Projeto para integração eletrônica da comunidade universitária da UFMG. Atuei neste projeto desenvolvendo aplicações Lotus Notes utilizando Java e LotusScript. Além disso, prestei suporte técnico aos usuários do Instituto de Ciências Exatas (ICEx) da UFMG.

2002 - 2003

UFMG Informática Junior

Vínculo: Colaborador, Enquadramento Funcional: Diretor Administrativo Financeiro, Carga horária: 20

Outras informações:
Coordenei uma equipe de 10 pessoas, além de me envolver em muitos projetos e discussões dentro da empresa e com outras empresas juniores da UFMG. Como diretor, fui responsável pela estimativa final do preço dos projetos, além de administrar a conta bancária da empresa e sua infra-estrutura computacional. Também trabalhei como os demais diretores no planejamento estratégico e financeiro da empresa.