Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Muñoz Quispe, Joel Iván
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-25
Acesso online. A biblioteca também possui exemplares impressos.