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
Leonardo Filonônes Teixeira in research grants and scholarships supported by FAPESP.
| 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 aims at allowing that test cases be derived from formal specifications, such as Finite State Machines. There are several generation methods, differing from each other by the properties required from the models and the quantity of generated test cases. Plavis/FSM tool aims at integrating several tools that support the generation of test cases from Finite St…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |