DAO, Vu Thi; 						NGOC HUNG, Pham; 						NGUYEN, Viet-Ha.
 A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs.
<strong>VNU Journal of Science: Computer Science and Communication Engineering</strong>, [S.l.], v. 32, n. 3, dec. 2016.
ISSN 2588-1086.
Available at: &lt;<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>&gt;. Date accessed: 20 nov. 2024.