Dao, Vu, 		Ngoc Hung, Pham, AND 		Nguyen, Viet-Ha.
" A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs" <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], Volume 32 Number 3 (23 December 2016)