Login / Signup
Lianying He
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Symbolic Execution
Metadata
Exploration Strategy
Active Learning
Top Venues
Internetware
</>
Publications
</>
Lianying He
,
Dalin Zhang
,
Dongqing Zhu
,
Junwen Zhang
,
Rui Wang
,
Jiqiang Liu
Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning.
Internetware
(2024)