Utilização de mineração de especificação na identificação de fluxos inválidos em software
Silva, Luciano Kelvin
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-06-15
Acesso online. A biblioteca também possui exemplares impressos.