A Tool to Support Model-Based Testing Activities. - Gilson Doi Junior; Adilson Luiz Bonifácio (SBESC, 2011)