relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1772/ title: 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 creator: Vu, Thi Dao creator: To, Van Khanh creator: Nguyen, Viet Ha subject: Information Technology (IT) date: 2014-06 type: Article type: PeerReviewed identifier: 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.