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." <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], 32.3 (2016): n. pag. Web. 27 Apr. 2024