Mallick, A. et al. 2014. Generation of Testcases from UML Sequence Diagram and Detecting Deadlocks using Loop Detection Algorithm. International Journal of Computer Sciences and Engineering. 2, 3 (Mar. 2014), 199–203.