%A Thi Dao Vu
%A Van Khanh To
%A Viet Ha Nguyen
%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
%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
%N 11
%P 70-82
%V V
%D 2014
%L SisLab1772