A Semantic Approach for the Generation of Test Cases from Activity Diagram | Synapse