@mastersthesis{mastersthesisc84d2df9,
title   = {Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espacias},
author = {Herculano, Paula Fernanda Ramos and Delamaro, Márcio Eduardo},
year = {2007},
school = {Universidade de São Paulo}
}