has a degree in Computer Science from State University of Campinas (1985), Masters in Computer Science from the University of São Paulo (1993) and Ph.D. in Computational Physics from the University of São Paulo (1997) with sandwich program at Purdue Univesity, United States . Conducted postdoctoral studies at the Politecnico di Milano, Italy, between 2000 and 2001 and earned the title of Associate Professor in the area of Software Engineering from the University of São Paulo in 2005. In 2013 worked as a visiting researcher at George Mason University in the United States. He was a fellow of the National Council for Scientific and Technological Development from 1999 to 2011. He is Full Professor in the SSC / ICMC / USP. He has experience in software engineering mainly in the following areas: software testing, mutation testing, structural testing. (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) |
This research project aims to contribute to the area of software testing by proposing new strategies, techniques and criteria to support the development of modern software products. Software development technology evolves ever faster, covering new environments, new application domains, and new architectures. With the increasing need to ensure quality in the software product, it is necessa…
This research project focuses on the area of Software Engineering and more specifically software testing. Besides contributing to the advancement of the state of the art and state ofthe practice, proposing techniques and tools for software testing, this project contributes to the development of human resources in the area, through training of undergraduate and postgraduate students, who p…
Applications that uses virtual reality resources or functionality gained popularity due to the vast field of use. It aims to provide the feeling of immersion in the environment, rather than a limited area, such as the simple representation on the screen of a monitor. Despite the benefits that maybe achieved with virtual reality softwares, its implementation mechanisms represent new potent…
Test oracles determine whether a particular execution of a Program under Test (PUT) is correct or not. In automated testing scenarios, test oracles represent an essential mechanism for testing productivity and effectiveness. However, depending on the PUT's output domain, proper oracle automation turns into a challenge, making these systems hard to test. In the literature, these systems ar…
In software development, product quality is directly related to the quality of the development process. Therefore, testing activities performed by methods, techniques and tools are urgently required to improve productivity, quality and reduce costs in software development. The mutation test has high efficacy in the detection of defects and is quite flexible in its application and can be u…
(Only some records are available in English at this moment)
The process of software development involves a series of activities in which, although the techniques, methods and tools used, errors can still occur in the product. Some activities have been introduced during the development process, including the activities of Verification, Validation and Testing (VV\&T), in order to minimize the occurrence of errors and risk associated. Among the techn…
The complexity of some systems output makes its automated test require significant efforts. This sandwich proposal presents a research that addresses to testing oracle automation method to systems with complex output domains. During the sandwich we will evaluate the effectiveness of using testing oracles in complex output domain systems, such as Text-to-speech systems, virtual reality sys…
It has been noted the growing interest of software developers and users for quality characteristics, which makes the testing activity essential in the process of software development. Moreover, with the growth of new development methodologies like agile processes and test driven development (TDD), it is expected that developers perform increasingly unit test. Still, the knowledge we have …
| 3 / 2 | Completed research grants |
| 13 / 10 | Completed scholarships in Brazil |
| 3 / 3 | Completed scholarships abroad |
| 19 / 15 | All research grants and scholarships |
| Associated processes | |
CV Lattes
ORCID