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. VNU Journal of Science: Computer Science and Communication Engineering, [S.l.], v. 32, n. 3, dec. 2016. ISSN 2588-1086. Available at: <http://www.jcsce.vnu.edu.vn/index.php/jcsce/article/view/133>. Date accessed: 20 nov. 2017.