Rodrigo Fraxino de Araujo

Possui graduação em Ciência da Computação pelo Centro Universitário Eurípides Marília (UNIVEM). Mestrado em Ciência da Computação pelo Centro Universitário Eurípides de Marília (UNIVEM). Doutorado em Ciência da Computação em andamento pelo Instituto de Ciências Matemáticas e de Computação (ICMC), da Universidade de São Paulo (USP), com estágio de doutorado de um ano pelo Institut National de Recherche en Informatique et en Automatique (INRIA), na França. Tem experiência na área de engenharia de software, teste de software, sistemas embarcados e programação orientada a objetos. Atualmente faz parte do Linux Technology Center, na IBM Brazil. É committer do Eclipse, atuando no projeto LinuxTools, e trabalha com o desenvolvimento do IBM Software Development Toolkit for PowerLinux.

Informações coletadas do Lattes em 29/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2008 - Atual

Universidade de São Paulo
Orientador: em Institut National de Recherche en Informatique et en Automatique ( François Delebecque)
com José Carlos Maldonado. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: teste de software; simulink.

Mestrado em Ciência da Computação

2006 - 2008

Centro Universitário Euripedes de Marília
Márcio Eduardo Delamaro.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: teste de software; matlab; simulink; teste combinatorial.

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

2002 - 2005

Centro Universitário Eurípides Marília
Orientador: Márcio Eduardo Delamaro
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

Ensino Médio (2º grau)

1999 - 2001

Colégio Tristão de Athaíde

Ensino Fundamental (1º grau)

1991 - 1998

Colégio Cristo Rei

Seção coletada automaticamente pelo Escavador

Formação complementar

2007 - 2007

T-VEC- Simulink Model Based Testing. (Carga horária: 40h). , Empresa Brasileira de Aeronáutica.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computaçã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.

Seção coletada automaticamente pelo Escavador

Participação em eventos

Brazilian Symposium on Formal Methods (SAST).Geração de Dados de Teste para Sistemas Embarcados: Uma Revisão Sistemática. 2009. (Simpósio).

VI Experimental Software Engineering Latin American Workshop (ESELAW). 2009. (Simpósio).

XII Simpósio de Teses e Dissertações do Programa de Pós-Graduação em Ciência da Computação e Matemática Computacional. 2009. (Simpósio).

Workshop do Programa de Aperfeiçoamento de Ensino (PAE). 2009. (Simpósio).

Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software.TeTooDS - Testing Tool for Dynamic Systems. 2008. (Simpósio).

WDC 2007 - II Workshop de Dissertações em Computação.Estratégias de Teste Para Modelos baseados no Simulink. 2007. (Simpósio).

Simpósio Brasileiro de Engenharia de Software (SBES). 2007. (Simpósio).

Workshop de Teses e Dissertações (WTES).Estratégias de Teste Para Modelos Baseados no Simulink. 2007. (Simpósio).

ERI 2006 - II Escola Regional de Informática São Paulo Oeste. 2006. (Simpósio).

WDC 2006 - I Workshop de Dissertações em Computação.. 2006. (Simpósio).

ACM International Collegiate Programming Contest.Maratona de Programação. 2005. (Outra).

12º Simpósio Internacional de Iniciação Científica da USP.Implementação de Mecanismos de Segurança para Código Móvel. 2004. (Simpósio).

ACM International Collegiate Programming Contest.Maratona de Programação. 2004. (Outra).

Fourth Congress of Logic Applied to Technology. 2003. (Congresso).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Sandra Camargo Pinto Ferraz Fabbri

MASIERO, P. C.; Jino, M.;FABBRI, S. C. P. F.. Teste de modelos de sistemas dinâmicos: uma contribuição para a geração automática de conjuntos de teste. 2009. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

Edmundo Sérgio Spoto

DELAMARO, Márcio EduardoSPOTO, E. S.; AMBROSIO, Ana Maria. Geração de Dados de Teste para Modelos dinâmicos Utilizando a Técnica Funcional. 2008. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Eurípides de Marília.

Valter Vieira de Camargo

Delamaro, M.E.; SPOTTO, Edmundo Sérgio;CAMARGO, Valter Vieira. Estratégias de Teste para Modelos BAseados no Simulink. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Fundação Eurípides Soares da Rocha Univem.

Paulo Cesar Masiero

MALDONADO, J. C.; TRAVASSOS, G. H.;VON STAA, A.; SAMPAIO, A.;MASIERO, P C. Teste de modelos de sistemas dinâmicos: uma contribuição para a geração automática de conjuntos de teste. 2013. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

Ana Maria Ambrosio

DELAMARO, M.; SPOTO, E. S.;AMBROSIO, A. M.. Geração de dados de teste para modelos dinâmicos utilizando a técnica funcional. 2008. Dissertação (Mestrado em Ciência da Computação) - Centro Universitário Euripedes de Marília.

Kalinka Regina Lucas Jaquie Castelo Branco

BRANCO, K. R. L. J. C.; DELAMARO, Márcio Eduardo;ORDONEZ, Edward David Moreno. Implementação de Mecanismos de Segurança para Código Móvel. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Centro Universitário Euripedes de Marília.

Augusto Cezar Alves Sampaio

Augusto Sampaio. Teste de Modelos de Sistemas Dinâmicos: Uma Contribuição para a Geração Automática de conjuntos de Teste. 2013. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Márcio Eduardo Delamaro

Geração de dados de teste para modelos dinâmicos usando a técnica funcional; 2008; Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Centro Universitário Euripedes de Marília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Márcio Eduardo Delamaro;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • DURELLI, VINICIUS HUMBERTO SERAPILHA ; ARAUJO, RODRIGO FRAXINO ; SILVA, MARCO AURELIO GRACIOTTO ; OLIVEIRA, RAFAEL ALVES PAES DE ; MALDONADO, JOSE CARLOS ; DELAMARO, MARCIO EDUARDO . A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area. The Journal of Systems and Software , v. 86, p. 934-950, 2012.

  • DURELLI, VINICIUS H. S. ; Araujo, Rodrigo F. ; SILVA, MARCO A. G. ; OLIVEIRA, RAFAEL A. P. ; MALDONADO, JOSE C. ; DELAMARO, M´RCIO E. . What a Long, Strange Trip It's Been: Past, Present, and Future Perspectives on Software Testing Research. In: 2011 25th Brazilian Symposium on Software Engineering (SBES), 2011, Sao Paulo. 2011 25th Brazilian Symposium on Software Engineering, 2011.

  • ARAUJO, RODRIGO FRAXINO ; VINCENZI, A. M. R. ; DELEBECQUE, F. ; MALDONADO, J. C. ; DELAMARO, M. E. . Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study. In: International Conference on Software Engineering Advances (ICSEA), 2011, Barcelona. Proceeding of the Sixth International Conference on Software Engineering Advances. p. 58-64.

  • ARAUJO, RODRIGO FRAXINO ; DELAMARO, M. E. ; DURELLI, V. S. ; MALDONADO, J. C. . Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática. In: 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009, Gramado. 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009. v. 1. p. 1-10.

  • ARAUJO, R. F. ; DELAMARO, M. E. . TeTooDS - Testing Tool for Dynamic Systems. In: Simpósio Brasileiro de Engenharia de Software, 2008, Campinas. Sessão de Ferramentas, 2008.

  • ARAUJO, R. F. ; DELAMARO, M. E. . Estratégias de Teste Para Modelos Baseados no Simulink. In: Simpósio Brasileiro de Engenharia de Software (SBES), 2007, João Pessoa. Workshop de Teses e Dissertações em Engenharia de Software, 2007. v. 1. p. 1-8.

  • SILVA, L. S. ; DELAMARO, M. E. ; ARAUJO, R. F. . Segurança de Código Móvel no Ambiente uCode. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2005, Florianópolis. Anais dos V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2005.

  • ARAUJO, RODRIGO FRAXINO ; BARBOZA, DANIEL HENRIQUE ; PONTES, OTAVIO BUSATTO ; TEIXEIRA, RAFAEL MEDEIROS ; JOAO, RENATO STOFFALETTE ; MOSCHETTA, WAINER SANTOS ; DURELLI, VINICIUS H. S. . IBM Software Development Kit for PowerLinux. In: 2012 2nd Workshop on Developing Tools as Plugins (TOPI), 2012, Zurich. 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 2012.

  • ARAUJO, RODRIGO FRAXINO ; DELAMARO, MARCIO EDUARDO ; MALDONADO, JOSE CARLOS . Functional test data generation for Simulink-like models. Journal of The Brazilian Computer Society (Online) , 2013.

  • ARAUJO, RODRIGO FRAXINO ; MOSCHETTA, WAINER SANTOS . Towards a Better Release Engineering Approach Based on the Development of an Industrial Application. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • ARAUJO, R. F. ; DELAMARO, M. E. . Implementação de Mecanismos de Segurança para Código Móvel. 2005. (Apresentação de Trabalho/Simpósio).

  • ARAUJO, R. F. ; DELAMARO, M. E. . Implementação de Mecanismos de Segurança para Código Móvel. 2004. (Apresentação de Trabalho/Simpósio).

Seção coletada automaticamente pelo Escavador

Outras produções

ARAUJO, R. F. ; DELAMARO, M. E. . TeTooDS - Testing Tool for Dynamic Systems. 2008.

ARAUJO, R. F. . Revisor de um artigo para o IV Brazilian Workshop on Systematic and Automated Software Testing (SAST). 2010.

ARAUJO, R. F. . Revisor de um artigo para o X Workshop de Software Livre (WSL 2009). 2009.

ARAUJO, R. F. . Revisor de um artigo para o III Brazilian Workshop on Systematic and Automated Software Testing (SAST). 2009.

ARAUJO, R. F. . Revisor de um artigo para o XXIII Simpósio Brasileiro de Engenharia de Software (SBES), Sessão de Ferramentas. 2009.

ARAUJO, R. F. . Introdução ao Java Micro Edition. 2007. (Curso de curta duração ministrado/Extensão).

ARAUJO, R. F. . Introdução ao Matlab Simulink. 2007. (Curso de curta duração ministrado/Extensão).

ARAUJO, R. F. ; DELAMARO, M. E. . Introdução ao Simulink. 2007. (Curso de curta duração ministrado/Extensão).

ARAUJO, R. F. . Introdução ao Java2ME. 2006. (Curso de curta duração ministrado/Outra).

ARAUJO, R. F. . Aplicativos Para Celular Utilizando Java2ME. 2005. (Curso de curta duração ministrado/Extensão).

ARAUJO, R. F. . Introdução ao GNU/Linux. 2003. (Curso de curta duração ministrado/Extensão).

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

2011 - Atual

Linux Technology Center, IBM Brazil

Vínculo: Celetista, Enquadramento Funcional: Software Engineer, Carga horária: 40

2008 - 2011

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Colaborador, Enquadramento Funcional: Bolsista de Doutorado, Regime: Dedicação exclusiva.

2008 - 2009

Universidade de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Programa de Aperfeiçoamento de Ensino (PAE), Carga horária: 4

Atividades

  • 07/2009 - 12/2009

    Estágios , Instituto de Ciências Matemáticas e de Computação, .,Estágio realizado, Disciplina Engenharia de Software Para Sistemas Embarcados.

  • 02/2009 - 06/2009

    Estágios , Instituto de Ciências Matemáticas e de Computação, .,Estágio realizado, Disciplina Introdução à Ciência da Computação I.

  • 07/2008 - 12/2008

    Estágios , Instituto de Ciências Matemáticas e de Computação, .,Estágio realizado, Disciplina Engenharia de Software para Sistemas Embarcados.

2008 - 2008

Faculdade da Alta Paulista

Vínculo: Professor vistante, Enquadramento Funcional: Professor, Carga horária: 8

2006 - 2008

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Vínculo: Colaborador, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.

2006 - 2007

Centro Universitário Eurípides Marília

Vínculo: Bolsista, Enquadramento Funcional: Estágio Atividade Complementar, Carga horária: 8

Atividades

  • 01/2007 - 12/2007

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução ao Matlab e Simulink

  • 07/2006 - 12/2006

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução Programação Jogos

  • 01/2006 - 06/2006

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução ao GNU/Linux

2003 - 2005

Fundação de Amparo à Pesquisa do Estado de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Bolsista de Iniciação Científica, Regime: Dedicação exclusiva.