%0 Journal Article
%A Vu, Thi Dao
%A To, Van Khanh
%A Nguyen, Viet Ha
%D 2014
%F SisLab:1772
%J 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
%N 11
%P 70-82
%T 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
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1772/
%V V