Um ambiente para geração automática de testes a partir de casos de uso - Cunha, Carolina Diniz (2015)