@mastersthesis{mastersthesis51c8a4e7,
title   = {Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos},
author = {Dusse, Flávio and Maldonado, José Carlos},
year = {2009},
school = {Universidade de São Paulo}
}