Trinh Cong Duy*; Nguyen Thanh Binh. Xây dựng công cụ Sinh dữ liệu thử Cho chương trình Lustre/SCADE dựa Trên kiểm chứng Mô hình. UD-JST 2015, 9, 84-89.