área de pesquisa SOLIMVA: A Methodology for Generating Model-Based Test Cases from Natural Language Requirements and Detecting Incompleteness in Software Specifications Valdivino Alexandre de Santiago Júnior
