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