área de pesquisa André Gustavo Pereira da Silva Frederico Thomaz de Aquino Franzosi Tools for Discovery, Refinement and Generalization of Properties by Enumerative Testing
