possui graduação em Ciência da Computação pela Universidade Estadual de Campinas (1985), mestrado em Ciência da Computação pela Universidade de São Paulo (1993) e doutorado em Física Computacional pela Universidade de São Paulo (1997) com programa sanduíche na Purdue Univesity, Estados Unidos. Realizou pós-doutorado no Politecnico di Milano, Itália, entre 2000 e 2001 e obteve o título de livre-docente na área de Engenharia de Software pela Universidade de São Paulo em 2005. Em 2013 esteve na George mason University, Estados Unidos, como pesquisador visitante. Foi bolsista do Conselho Nacional de Desenvolvimento Científico e Tecnológico de 1999 a 2011. É Professor Titular do SSC/ICMC/USP. Tem experiência na área de Engenharia de Software atuando principalmente nos seguintes temas: teste de software, teste de mutação, teste estrutural. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez m…
Este projeto de pesquisa se concentra na área de Engenharia de Software e, mais especificamente, de teste de software. Além de contribuir para o avanço do estado da arte e estado da prática, propondo técnicas e ferramentas para o teste de software, este projeto deve contribuir na formação de recursos humanos na área, por meioda formação de estudantes de graduação e pós-graduação, que part…
Aplicações que utilizam funcionalidades ou recursos de realidade virtual tornam-se cada vez mais populares. Em geral, o desenvolvimento dessas aplicações não inclui uma fase de testes sistematizada, que leve em conta as particularidades desse tipo de software, fazendo com que testes manuais e ad-hoc sejam realizados pelos desenvolvedores. A atividade de teste é uma atividade cara e suscet…
Oráculos de teste determinam se uma execução, em particular, de um Programa em Teste (PUT, do inglês Program under Test) está correta ou não. Em cenários de teste automatizado, oráculos de teste representam um mecanismo essencial para produtividade e eficácia dos testes. No entanto, dependendo do domínio do PUT, a automatização dos oráculos pode se tornar um desafio, dificultando o teste …
No desenvolvimento de software, a qualidade do produto está diretamente relacionada à qualidade do processo de desenvolvimento. Diante disso, atividades de testes realizadas através de métodos, técnicas e ferramentas são de extrema necessidade para que aumente a produtividade, qualidade e diminuir os custos no desenvolvimento de software. O teste de mutação possui alta eficácia na detecçã…
O processo de desenvolvimento de software envolve uma série de atividades nas quais, apesar das técnicas, métodos e ferramentas empregados, erros no produto ainda podem ocorrer. Atividades agregadas têm sido introduzidas ao longo de todo o processo de desenvolvimento, entre elas as atividades de Verificação, Validação e Teste (VV&T), com o objetivo de minimizar a ocorrência de erros e ris…
A complexidade da saída de alguns sistemas faz com que estratégias automatizadas de teste exijam esforços significativos. Esta proposta de sanduíche apresenta uma pesquisa que visa ao desenvolvimento de um método para a automatização de oráculos de teste para sistemas com saídas complexas. Durante o período do sanduíche pretende-se avaliar a efetividade do uso de oráculos de teste em domí…
Tem-se notado o crescente interesse de desenvolvedores e usuários de software por características de qualidade, o que torna a atividade de teste essencial dentro do processo de desenvolvimento de software. Além disso, com o crescimento de novas metodologias de desenvolvimento como processos ágeis e desenvolvimento dirigido por teste (TDD), espera-se que os desenvolvedores realizem cada ve…
CV Lattes
ORCID