@inproceedings{wang2025ifse,
  title = {{IFSE}: {Taming} Closed-box Functions in Symbolic Execution via Fuzz Solving},
  booktitle = {2025 47th {International Conference} on {Software Engineering}: {Companion Proceedings} ({ICSE-Companion} 2025)},
  author = {Wang, Qichang and Chen, Chuyang and Xu, Ruiyang and Sun, Haiying and Wan, Chengcheng and Su, Ting and Zhang, Yueling and Pu, Geguang},
  year = {2025},
  month = {4--5},
  pages = {37--40},
  publisher = {ACM},
  address = {Ottawa, Canada},
  note = {demonstrations track},
  copyright = {All rights reserved},
}