Rodrigo Fraxino de Araujo

Inglês

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

Português

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

Francês

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

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.

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).

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.

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.

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.

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.

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.

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 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.

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;

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).