Dao, V., Ngoc Hung, P., & Nguyen, V. (2016). 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, 32(3). Retrieved from http://www.jcsce.vnu.edu.vn/index.php/jcsce/article/view/133