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.