Grahl, Everaldo Artur, and Daniel Severo Estrázulas. " Processo de Abstração de Erros nas Análises Funcionais de Programas Aplicativos Fiscais." Anais do XII Simpósio Brasileiro de Qualidade de Software, Salvador, 2013. SBC, 2013, pp.326-333.