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”. Tạp Chí Khoa học Và Công nghệ Đại học Đà Nẵng, vol 5, số p.h 114.1, Tháng Năm 2017, tr 104-7, https://jst-ud.vn/jst-ud/article/view/3096.