CV Lattes
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Possui graduação em Bacharelado em Informática pela Universidade de São Paulo (2007) e mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2010). Atualmente é professor do Instituto Federal de Ciências e Tecnologia de São Paulo e aluno de doutorado da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Bioinformática e Engenharia de Software. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Model-based testing produces testing artifacts from models that are generated during the software development.Finite State Machines are one of the most used models that are available for test generationSeveral generation methods have been proposed in the last four decades, and there still are some recent contributions.In this work, the so-called sufficient conditions will be applied to im…
| 2 / 1 | Completed scholarships in Brazil |
| Associated processes | |