Dao, V., 		Ngoc Hung, P., & 		Nguyen, V.
2016 Dec 23.  A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 32:3