Grahl, E., & Estrázulas, D. (2013). Process of Abstraction of Errors in Functional Analysis of Tax Application Programs. In Proceedings of the 12th Brazilian Symposium on Software Quality, (pp. 326-333). Porto Alegre: SBC. doi:10.5753/sbqs.2013.15296