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. UD-JST [Internet]. 31 Tháng Năm 2017 [cited 3 Tháng Bảy 2024];5(114.1):104-7. Available at: https://jst-ud.vn/jst-ud/article/view/3096