Mallick, A.; Panda, N.; Acharya, A. A. Generation of Testcases from UML Sequence Diagram and Detecting Deadlocks Using Loop Detection Algorithm. Int. J. Comp. Sci. Eng. 2014, 2, 199-203.