Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha  (2017) A Method for Automated Test Cases Generation from UML Models with String Constraints.  In: The 9th Asian Conference on Intelligent Information and Database Systems, 2017, Japan.