TCG - A Model-based Testing Tool for Functional and Statistical Testing. - Laryssa Lima Muniz; Ubiratan S. C. Netto; Paulo Henrique M. Maia (ICEIS (2), 2015)