Phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL - Nguyễn, Văn Hòa (Đại học Quốc gia Hà Nội, 2017)