CV Lattes
ResearcherID
ORCID
Google Scholar Citations
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
Possui graduação em Análise de Sistemas pela Universidade Federal de Mato Grosso do Sul (2005), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2008) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2013). Realizou estágios de pós-doutoramento na Universidade de São Paulo (2013) e na Aarhus University, Dinamarca (2019). De 2013 a 2021, atuou como professor na Universidade Tecnológica Federal do Paraná (UTFPR), campus Cornélio Procópio. Atualmente, é professor associado na Universidade Federal de São Carlos (UFSCar), orientando projetos na graduação e pós-graduação. 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, teste baseado em modelo, análise dinâmica e aplicações móveis. (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) |
Métodos ágeis e suas práticas têm promovido a presença difundida de testes automatizados em projetos de software. Na prática, tais casos de teste vêm sendo utilizados com sucesso para testar diferentes níveis do software, do teste de unidade (por exemplo, frameworks xUnit) até o teste de Graphical User Interface (GUI) end-to-end (por exemplo, Selenium Webdriver). Para aumentar o retorno s…
O bolsista irá apoiar a realização das atividades relacionadas a amplificação de testes usando análise dinâmica para a detecção de testes flaky. O bolsista irá revisar a literatura, estudar ferramentas de execução de testes automatizados, testar os frameworks de análise dinâmica para Python, contribuir com partes do desenvolvimento da ferramenta, preparar os benchmarks e auxiliar na condu…
A linguagem de programação Go é uma linguagem fortemente e estaticamente tipada, lançada pelo Google em 2009. Embora Go seja no momento amplamente utilizada na prática, faltam pesquisas sobre geração automática de testes para aplicações de software desenvolvidas em Go. Em particular, as abordagens existentes no estado da arte ainda não foram aplicadas. Neste contexto, o objetivo deste pro…
O bolsista irá apoiar a realização das atividades relacionadas a amplificação de testes usando análise dinâmica para a exploração deevent races. O bolsista irá revisar a literatura, estudar ferramentas de execução de testes automatizados, testar os frameworks de análise dinâmica para JavaScript, contribuir com partes do desenvolvimento da ferramenta, preparar os benchmarks e auxiliar na c…
Jogos digitais é atualmente um mercado bilionário, e a ocorrência de bugs nesta classe de software pode causar grande impacto e gerar insatisfação nos usuários. Por isso, faz-se necessária a realização de testes para evitar esses acontecimentos e garantir a qualidade do jogo. Embora abordagens de automatização de teste de software podem ser aplicadas, o teste na perspectiva do jogador ain…
O bolsista irá apoiar a realização das atividades relacionadas a amplificação de testes usando análise dinâmica para a detecção de testes flaky. O bolsista irá revisar a literatura, estudar ferramentas de execução de testes automatizados, testar os frameworks de análise dinâmica para Python, contribuir com partes do desenvolvimento da ferramenta, preparar os benchmarks e auxiliar na condu…
O bolsista irá apoiar a realização das atividades relacionadas a amplificação de testes usando análise dinâmica para a exploração deevent races. O bolsista irá revisar a literatura, estudar ferramentas de execução de testes automatizados, testar os frameworks de análise dinâmica para JavaScript, contribuir com partes do desenvolvimento da ferramenta, preparar os benchmarks e auxiliar na c…