On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution. - Penghui Li 001; Wei Meng 001; Kangjie Lu; Changhua Luo (WWW, 2021)

TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications. - Changhua Luo; Penghui Li 001; Wei Meng 001 (CCS, 2022)

SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration. - Changhua Luo; Wei Meng 001; Penghui Li 001 (SP, 2023)

Test Suites Guided Vulnerability Validation for Node.js Applications. - Changhua Luo; Penghui Li 001; Wei Meng 001; Chao Zhang 008 (CCS, 2024)

Strengthening Supply Chain Security with Fine-grained Safe Patch Identification. - Changhua Luo; Wei Meng 001; Shuai Wang 011 (ICSE, 2024)

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis. - Penghui Li 001; Wei Meng 001; Mingxue Zhang 001; Chenlin Wang; Changhua Luo (SP, 2024)

Automatic Library Fuzzing through API Relation Evolvement. - Jiayi Lin 007; Qingyu Zhang; Junzhe Li; Chenxin Sun; Hao Zhou; Changhua Luo; Chenxiong Qian (NDSS, 2025)

Predator: Directed Web Application Fuzzing for Efficient Vulnerability Validation. - Chenlin Wang; Wei Meng 001; Changhua Luo; Penghui Li 001 (SP, 2025)

Automated Static Vulnerability Detection via a Holistic Neuro-symbolic Approach. - Penghui Li; Songchen Yao; Josef Sarfati Korich; Changhua Luo; Jianjia Yu; Yinzhi Cao; Junfeng Yang (CoRR, 2025)