CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Institutional affiliation from the last research proposal) Birthplace: Brazil
bachelor's at Análise de Sistemas from Universidade Federal de Mato Grosso do Sul (2005), master's at Computer Science from Universidade de São Paulo (2008) and doctorate at Computer Science from Universidade de São Paulo (2013). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: web services, model-based testing, integração, web services testing and finite state machine. (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) |
Agile methods and their practices have fostered the widespread presence of automated tests in software projects. In practice, such test cases have been successfully and extensively adopted to test different software levels, from unit tests (e.g., xUnit frameworks) to end-to-end Graphical User Interface (GUI) tests (e.g., Selenium Webdriver). To increase the return on investment in testing…
JavaScript is a multi-paradigm programming language used by millions of developers to build computer systems. When paired with the Node.js runtime environment, JavaScript powers the infrastructure of many large-scale applications across various industries due to its extensive ecosystem of packages and scalability support. However, JavaScript applications may be subjected to a specific rac…
The Go programming language is a strongly and statically typed language developed by Google in 2009. Although Go is currently widely adopted, there is little research about automated test generation for Go-based software applications. Particularly, several existing approaches are yet to be implemented. In this context, the goal of this project is to look into random unit test generation f…
Digital games is currently a billion dollar market, and the occurrence of bugs in this class of software can cause great impact and generate dissatisfaction among users. Therefore, it is necessary to perform tests and ensure the quality of the product. Although software testing automation can be applied, testing from the player's perspective is still primarily performed manually. When con…
(Only some records are available in English at this moment)
| 1 / 1 | Ongoing grants |
| 2 / 2 | Ongoing scholarships in Brazil |
| 8 / 7 | Completed scholarships in Brazil |
| 11 / 10 | All research grants and scholarships |
| Associated processes | |