Yicheng Zeng, Jiaqian Peng, Jiami Lin, Rongrong Xi, Hongsong Zhu. Symerge: Replacing Calls in Under-Constrained Symbolic Execution and Find Vulnerabilities. In Saed Alrabaee, Kim-Kwang Raymond Choo, Ernesto Damiani, Robert H. Deng, editors, Security and Privacy in Communication Networks - 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part II. Volume 628 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 376-399, Springer, 2024. [doi]
Abstract is missing.