SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. - Qiping Wei; Fadul Sikder; Huadong Feng; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (BRAINS, 2023)

Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection. - Fadul Sikder; Yu Lei 001; Yuede Ji (PROMISE, 2025)

SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection. - Qiping Wei; Fadul Sikder; Huadong Feng; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (Distributed Ledger Technol. Res. Pract., 2025)