Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2016) A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs. VNU Journal of Computer Science and Communication Engineering . ISSN 0866-8612 (In Press)