CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Professor Adjunto na Universidade Federal de São Carlos (UFSCar), junto ao Departamento de Computação (DC). Realizou estágio de pós-doutorado no Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo, São Carlos (2016-2017). Realizou também estágio de pós-doutorado no Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen, Holanda (2014-2015). Doutor em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2009-2013), com estágio sanduíche de um ano na George Mason University, Estados Unidos. Mestre em Ciência da Computação pela Universidade Federal de São Carlos (2006-2008). Bacharel em Ciência da Computação pelo Centro Universitário Eurípedes de Marília (2002-2005). Publicou artigos em periódicos de prestígio, como IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software, Information and Software Technology, Science of Computer Programming, Computers in Human Behavior e Software Testing, Verification and Reliability. Tem experiência na área de Ciência da Computação com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software e refatoração. (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) |
Várias linguagens, amplamente utilizadas tanto no meio acadêmico quanto na indústria, apresentam ambiente de execução baseado em máquina virtual. No entanto, apesar dos benefícios providos, durante e após o desenvolvimento, as máquinas virtuais não proporcionam suporte adequado para condução e automatização de técnicas de teste como: teste estrutural, teste de mutação, entre outros.Para q…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |