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.
<em>VNU Journal Of Science: Computer Science And Communication Engineering, 32</em>(3).
Retrieved from <a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/133" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/133</a>