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), tr 104–107. Available at: https://jst-ud.vn/jst-ud/article/view/3096 (Truy cập: 22Tháng Mười-Một2024).