Work

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

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse-companion66252.2025.00019

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

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, The Ohio State University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411271234

FWCI:

Cites: 9

Cited by:

Related to: 10