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.