Define-Use Guided Path Exploration for Better Forced Execution. - Dongnan He; Dongchen Xie; Yujie Wang; Wei You 001; Bin Liang 002; Jianjun Huang 001; Wenchang Shi; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2024)

BridgeRouter: Automated Capability Upgrading of Out-Of-Bounds Write Vulnerabilities to Arbitrary Memory Write Primitives in the Linux Kernel. - Dongchen Xie; Dongnan He; Wei You 001; Jianjun Huang 001; Bin Liang 002; Shuitao Gan; Wenchang Shi (SP, 2025)