Thi-Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen. A Method for Automated Test Cases Generation from UML Models with String Constraints. In Dariusz Król 0001, Ngoc Thanh Nguyen, Kiyoaki Shirai, editors, Advanced Topics in Intelligent Information and Database Systems, - 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Extended Posters. Volume 710 of Studies in Computational Intelligence, pages 525-536, Springer, 2017. [doi]
Abstract is missing.