Valdivino Alexandre de Santiago Júnior. SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software. PhD thesis, National Institute for Space Research, São José dos Campos, Brazil, 2011. [doi]
Abstract is missing.