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, vol 5, số p.h 114.1, tr 104–107, tháng 5 2017.