[1]
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 (tháng 5 2017), 104–107.