A. Mallick, N. Panda, and A. A. Acharya, “Generation of Testcases from UML Sequence Diagram and Detecting Deadlocks using Loop Detection Algorithm”, Int. J. Comp. Sci. Eng., vol. 2, no. 3, pp. 199–203, Mar. 2014.