Login / Signup
Penghui Li
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Test Data Generation
Databases
Computationally Expensive
Open Source
Top Venues
WWW
CCS
ESEC/SIGSOFT FSE
ASE
</>
Publications
</>
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)