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
Undergratuate student on Computer Science Bsc at University of São Paulo (USP). Currently working on testing of concurrent software and program analysis. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Testing concurrent programs is inherently more difficult than testing sequential ones. Features such as communication and synchronization among processes, and nondeterminism impose problems in applying the traditional sequential testing criteria. However, some of these issues have been addressed with positive results. In particular, the TestPar project has been developed at ICMC/USP, in p…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |