IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving | IEEE Conference Publication | IEEE Xplore