Automatic generation of system test cases from use case specifications
Generating interaction test cases for mobile phone systems from use case specifications