Geração automatica de cenarios de teste a partir de modelos da especificação de sistemas - Perez, Ivan Rodolfo Duran Cruz (2008)
Orientador: Eliane Martins