CV Lattes
ResearcherID
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
graduation at Ciência da Computação from Universidade Federal do Tocantins (2008), master's at Computer Science from Universidade Federal de Goiás (2011) and doctorate at Computer Science from Universidade de São Paulo (2016). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: user interface modeling, model-based software engineering, usability, test case generation and software engineering education. (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 (TBM) involves automated test cases generation from models produced during the software development cycle. We can find many methods for generating test cases from Finite State Machines (FSM). However, some classes of systems cannot be represented using FSM, and one of the models for such representation are Input/Output Transition Systems (IOTS). Although widely investi…
| 1 / 1 | Completed research grants |
| 1 / 1 | Completed scholarships in Brazil |
| 2 / 2 | All research grants and scholarships |
| Associated processes | |