@mastersthesis{mastersthesis6de6e5d6,
title   = {Utilização de mineração de especificação na identificação de fluxos inválidos em software},
author = {Silva, Luciano Kelvin and Melo, Ana Cristina Vieira de},
year = {2016},
doi = {10.11606/D.45.2016.tde-20230727-113032},
school = {Universidade de São Paulo}
}