Este texto foi elaborado para a participação do autor no Concurso Público de Professor Livre Docente junto ao Departamento de Sistemas de Computação do Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (SSC/ICMC/USP). No texto, é apresentada uma sistematização das pesquisas e trabalhos realizados pelo autor, delineando seu foco de pesquisa em Teste de Software. Primeiramente, são descritas as contribuições na área de Teste Baseado em Máquinas de Estados Finitos, o qual concentra os principais esforços do autor e as publicações mais recentes. Em seguida, são apresentadas as contribuições na área de Teste de Programas Paralelos que caracteriza a segunda linha de atuação do autor. Por fim, são descritas as outras linhas de pesquisa nas quais o autor tem atuado. Neste documento, são descritos os fundamentos e os pressupostos com as quais as abordagens têm sido exploradas pelo autor, destacando as contribuições e os desenvolvimentos realizados nos últimos seis anos de trabalho acadêmico, correspondendo ao período posterior à conclusão do doutorado. Nesse período, o autor publicou oito artigos completos em revistas, incluindo publicações na IEEE Transactions on Computers, Oxford Computer Journal, IET Software e Computer Languages, Systems and Structures, com Qualis A1, B1, B2 e B2, respectivamente. Publicou também 24 artigos em congressos da área, sendo 13 em eventos internacionais e 11 em eventos nacionais.

This document was elaborated to fulfill the requirements of the author’s application for a position of Associate Professor in Software Engineering, at the Computer Systems Department of the Institute of Mathematical Sciences and Computing, University of São Paulo (SSC/ICMC/USP). The text systematizes the author’s research contribution, focused on studies about Software Testing. First, it presents the contributions on software testing based on Finite State Machines, which represents the core of the author’s contributions and publications in recent years. Then, it presents the contributions on Parallel Program Testing, which represents his second main topic of investigation. Finally, it describes other research topics which the author has investigated. This text describes the background and the assumptions which are the basis for the research done by the author, highlighting the contributions and developments accomplished in the last six years, i.e. after the conclusion of the Doctoral Thesis. In this period, the author published eight papers in journals, including IEEE Transactions on Computers, Oxford Computer Journal, IET Software e Computer Languages, Systems and Structures, evaluated as Qualis A1, B1, B2 e B2, respectively. He also published 24 papers in conferences, whereof 13 in international events and 11 in national ones.