Symerge: Replacing Calls in Under-Constrained Symbolic Execution and Find Vulnerabilities.

Yicheng Zeng, Jiaqian Peng, Jiami Lin, Rongrong Xi, Hongsong Zhu

Browse the full SecureComm paper archive.