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.
Trích dẫn kiểu ChicagoCải Tiến Công Cụ Sinh Dữ Liệu Thử Java PathFinder Bởi Tối ưu Các Ràng Buộc.
MLA引文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.
警告：这些引文格式不一定是100％准确.