Synthesis of Test Scenarios Using UML Sequence Diagrams

Figure 5

Sequence diagram of MakeCall use case in CPS.