A Method for Semi-automated Generation of Test Scenarios Based on Use Cases | IEEE Conference Publication | IEEE Xplore