Dao, Vu, Pham Ngoc Hung, & Viet-Ha Nguyen. " 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 [Online], 32.3 (2016): n. pag. Web. 21 Nov. 2017