Le Thi My Hanh*; Tran Hoang Dung, Nguyen Thanh Binh. (2017). 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, 5(114.1), 104–107. Truy vấn từ https://jst-ud.vn/jst-ud/article/view/3096