eprintid: 1772
rev_number: 4
eprint_status: archive
userid: 244
dir: disk0/00/00/17/72
datestamp: 2016-06-09 02:10:22
lastmod: 2016-06-09 02:10:22
status_changed: 2016-06-09 02:10:22
type: article
succeeds: 1771
metadata_visibility: show
creators_name: Vu, Thi Dao
creators_name: To, Van Khanh
creators_name: Nguyen, Viet Ha
creators_id: khanhtv@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
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
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2014-06
date_type: published
full_text_status: none
publication: 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
volume: V
number: 11
pagerange: 70-82
refereed: TRUE
citation:   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.