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 5, no. 114.1 (Tháng Năm 31, 2017): 104–107. Truy cập Tháng Mười-Một 22, 2024. https://jst-ud.vn/jst-ud/article/view/3096.