Generating Model-Based Test Cases from Natural Language Requirements and Applying Model Checking to Detect Incompleteness in Software Specifications Documento uri icon

  •  
  • Visão geral
  •  
  • Identidade
  •  
  • Ver todos
  •  

tipo

  • doctoral thesis

data de publicação

  • 2011-01-01