Automatic generation of system test cases from use case specifications