Items where Author is "Vu, Thi Dao"

Article

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)

Vu, Thi Dao and To, Van Khanh and Nguyen, Viet Ha (2014) Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL. Tạp chí CNTT & TT: Các công trình nghiên cứu, phát triển và ứng dụng CNTT & TT, V (11). pp. 70-82.

Conference or Workshop Item

Dinh, Ngoc Thi and Vo, Dinh Hieu and Vu, Thi Dao and Nguyen, Viet Ha (2017) Generation of Test Data Using Genetic Algorithm and Constraint Solver. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.

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.

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. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Vu, Thi Dao and Pham, Ngoc Hung and Nguyen, Viet Ha (2015) A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language. In: SoICT: the 2015 Symposium on Information and Communication Technology, 3-4 December 2015, Hue, Vietnam.