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
I hold a Doctorate in Computer Science from the University of São Paulo (USP-ICMC), which I completed in 2023. Prior to this, I earned a Master's degree in 2017 from the State University of Maringá (UEM-DIN), where I also completed my undergraduate degree in Computer Science in 2014.My research is focused in the area of Search-Based Software Engineering (SBSE) and software testing. During my master's and doctoral studies, I particularly concentrated on identifying properties capable of detecting non-executable test requirements in concurrent structural software testing. Additionally, I applied memetic algorithms for the optimization of software product line architectures (PLA).Currently, I continue to explore and deepen the study of the problem of non-executability in structural testing, seeking to develop effective techniques to mitigate it. In parallel to my research, I am actively involved in teaching, lecturing on subjects related to software engineering at education institutions. (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) |
Software testing activity is imperative to improve the quality of a software product. However, finding a set of test data that satisfies a given test criterion is not a trivial task because the domain can be large and different test sets can be satisfactory solutions. Testing concurrent programs in addition to presenting the sequential program problems yet, for example, can address the pr…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |