IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving.

Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu

Browse the full ICSE paper archive.