CV Lattes
ResearcherID
ORCID
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
É Bacharel em Informática (2005) e Doutor em Ciências de Computação e Matemática Computacional (2010), ambos pelo Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP). Em seu doutorado, foi orientado pelo Prof. José Carlos Maldonado e realizou estágio entre 2007 e 2008 na Universidade de Lancaster (Reino Unido) sob orientação do Prof. Awais Rashid. Desde 2011, é Professor do Departamento de Computação na Universidade Federal de São Carlos (atualmente Professor Associado 3). Realizou Pós-Doutorado na Universidade George Mason (EUA) sob supervisão do Prof. Jeff Offutt entre 2017 e 2018. Orienta alunos de graduação (Iniciação Científica) e pós-graduação (Mestrado e Doutorado), com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, teste de mutação, desenvolvimento de sistemas adaptativos, desenvolvimento de aplicações para cidades inteligentes, revisão sistemática da literatura, gestão do conhecimento, e gamificação em Engenharia de Software. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Aplicações para Cidades Inteligentes já são uma realidade para diversos domínios críticos como transporte e mobilidade urbana, saúde, residências, e segurança pública, dentre outros. Por exemplo, tecnologias para o controle de tráfego ajudam a reduzir o tempo no trânsito em grandes cidades; porém, falhas em tempos semafóricos, por exemplo, podem causar acidentes, trazendo sérios danos à p…
O projeto de pesquisa no qual este projeto para bolsa de Treinamento Técnico se insere tem como objetivo geral a definição de uma abordagem baseada em defeitos para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Estão previstos no projeto de pesquisa o desenvolvimento de uma ferramenta de injeção de …
Características de aplicações para Cidades Inteligentes como, por exemplo, a diversificação em termos de aplicações, de usuários, de tipos de sensores, e de tipos de dados produzidos constituem diferentes fontes de defeitos e consequentes erros que podem ser gerados. Este projeto de iniciação científica tem o objetivo de desenvolver uma ferramenta de injeção de erros para ser empregada em…
A condução da atividade de teste de software, com a aplicação de critérios de seleção de testes específicos, é fortemente dependente de ferramentas automatizadas. Essa dependência configura-se também para apoiar o teste de software produzido com base em abordagens recentes ou relativamente recentes de desenvolvimento. Exemplos dessas abordagens é a Programação Orientada a Objetos (POO) e …
Contexto: O critério de seleção de testes Análise de Mutantes, também conhecido como teste de mutação, é uma importante opção para avaliar tanto sistemas de software quanto conjuntos de testes utilizados para testá-los. Porém, esse critério impõe alto custo de aplicação. Devido a isso, técnicas de redução de custo têm sido enfatizadas, visando a reduzir significativamente o custo do crité…