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”. Tạp Chí Khoa học Và Công nghệ - Đại học Đà Nẵng, vol 9, số p.h 94, Tháng Chín 2015, tr 84-89, https://jst-ud.vn/jst-ud/article/view/84-89.