@mastersthesis{mastersthesisc0f87165,
title   = {Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional},
author = {Muñoz Quispe, Joel Iván and Wang, Jiang Chau},
year = {2011},
school = {Universidade de São Paulo}
}