A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications | IEEE Conference Publication | IEEE Xplore