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
bachelor's at Engenharia de Computação from Instituto de Ciências Matemáticas e de Computação (2009). (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 test case generation methods aim at derivation of test cases from formal specifications, such as finite state machines (FSM). There are several generation methods proposed in the literature, differing from each other with respect to the required properties of the FSMs, the costs of testing generated and effectiveness in revealing faults. Despite intense research in establishin…
| 2 / 1 | Completed scholarships in Brazil |
| Associated processes | |