O teste baseado em modelo consiste em uma técnica para geraçăo automática de um conjunto de casos de testes utilizando modelos extraídos a partir de artefatos de software, é uma abordagem que visa melhorar a qualidade do software, assim como reduzir os custos inerentes de um processo de teste. Este livro se destina aos profissionais, pesquisadores e estudantes da área de engenharia de software e tem como objetivo apresentar o TCG, uma ferramenta para geraçăo e seleçăo de casos de testes funcionais e estatísticos que aceita como entrada modelos probabilísticos e năo probabilísticos. As técnicas de seleçăo fornecidas săo propósitos de teste, caminho randômico e caminho mais provável. Além disso, este livro também apresenta a técnica de seleçăo chamada de probabilidade mínima de caminho, na qual a ferramenta seleciona os casos de teste que possuam probabilidade de ocorręncia maior ou igual a um valor informado pelo usuário.