Penghui Li

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

State Variables

Test Data Generation

Relational Structures

Top Venues

Proc. VLDB Endow.

USENIX Security Symposium

Publications

Penghui Li, Wei Meng, Chao Zhang
SDFuzz: Target States Driven Directed Fuzzing. USENIX Security Symposium (2024)
Zeyang Zhuang, Penghui Li, Pingchuan Ma, Wei Meng, Shuai Wang
Testing Graph Database Systems via Graph-Aware Metamorphic Relations. Proc. VLDB Endow. 17 (4) (2023)
Changhua Luo, Wei Meng, Penghui Li
SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration. SP (2023)
Penghui Li, Wei Meng, Kangjie Lu
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution. ESEC/SIGSOFT FSE (2022)
Changhua Luo, Penghui Li, Wei Meng
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications. CCS (2022)
Penghui Li, Wei Meng
LChecker: Detecting Loose Comparison Bugs in PHP. WWW (2021)
Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution. WWW (2021)
Penghui Li, Yinxi Liu, Wei Meng
Understanding and Detecting Performance Bugs in Markdown Compilers. ASE (2021)