CV Lattes
ResearcherID
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 Engenharia Elétrica from Universidade de São Paulo (1978), master's at Aerospace Engineering from Instituto Nacional de Pesquisas Espaciais (1983) and doctorate at Engenharia Elétrica - Computação e Automação from Universidade Estadual de Campinas (1991). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: teste de software, análise de mutantes, ferramentas de teste, teste estrutural and teste de especificações de software. (Source: Lattes Curriculum)
| Articles published in Pesquisa FAPESP Magazine about the researcher: |
| El futuro de la movilidad con los coches autónomos |
| Self-driving cars—the future of mobility |
| Un futuro sin chofer |
| The driverless future |
| Un automóvil sin conductor |
| Driverless Car |
| Un automóvil sin conductor |
| 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) |
Considering the relevance of automating testing activities for the software product industry and the relevance of mutation-based testing from scientific evidence, this project aims to define a mutation-based testing process that can be performed in a 100% automated manner through a supportive test environment, specified, and validated with industrial and open-source applications. Methods:…
The focus of this proposal is the transfer of mathematical knowledge to other areas of science, technology and industry, through a structured research center specially tailored for this purpose. All mathematical knowledge is ultimately applicable, if not directly, through other areas of knowledge. In some areas the application of mathematics is almost immediate. However, the practical imp…
Software Engineering is an area in constant evolution and different methods, techniques, criteria and tools are developed constantly aiming to improve the way software products are designed, contributing to improving the quality of software products. Specifically, regarding software testing, agile methodologies with emphasis on unit testing and pair programming, test driven development pr…
The objective of this project is the acquisition of equipment designed to support the monitoring of existing assets are located in buildings where the research laboratories, ICMC-1 and ICMC-6, in order to ensuring the preservation of the patrimony installed there. (AU)
Software architectures play a major role in determining system quality. In particular, reference architectures can be considered an element that aggregates knowledge of a specific domain, promoting the reuse of this knowledge and supporting the software system development. However, processes to establish and evaluate reference architectures are not completely consolidated yet. Thus, based…
(Only some records are available in English at this moment)
Systematic Literature Review (SLR) is a methodology used to aggregate and summarize all relevant evidence of a specific research question. One of the activities associated with the SLR process is the selection of primary studies, which can be arduous, particularly when the researcher faces large volumes of primary studies. Visual Text Mining (VTM) can be used to support different activiti…
Systematic revisions have been adopted in Software Engineering as a way to gather data and information from different experimental studies, allowing the combination of these results to characterise costs and benefits associated with a certain technology or development environment/tool. The process of conducting a systematic revision, although relevant, is costly and, in many situations, s…
| 2 / 2 | Ongoing research grants |
| 14 / 6 | Completed research grants |
| 24 / 3 | Completed scholarships in Brazil |
| 41 / 12 | All research grants and scholarships |
| Associated processes | |