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 sep. 2017.