VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de software
Garcia, Rogério Eduardo
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2006-10-02
Acesso online. A biblioteca também possui exemplares impressos.