@mastersthesis{mastersthesis2ab10253,
title   = {Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados},
author = {Pinheiro, Arineiza Cristina and Simão, Adenilso da Silva},
year = {2012},
school = {Universidade de São Paulo}
}