1
“... of these models are not available in the very beginning of the project, when usually natural-language...”
NAT2TEST: generating test cases from natural language requirements based on CSP
Tese