Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados - Yano, Thaise, 1979- (2011)
Orientador: Eliane Martins