Le Thi My Hanh*; Tran Hoang Dung, Nguyen Thanh Binh. Cải tiến công cụ Sinh dữ liệu thử Java PathFinder bởi tối ưu các ràng buộc. UD-JST 2017, 5, 104-107.