Login / Signup
Jiaxi Ye
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Symbolic Execution
Symbolic Data
Generation Algorithm
Test Cases
Top Venues
CIS
Frontiers Comput. Sci.
IEEE Access
</>
Publications
</>
Bin Zhang
,
Jiaxi Ye
,
Ruilin Li
,
Chao Feng
,
Yunfei Su
,
Chaojing Tang
Pusher: an augmented fuzzer based on the connection between input and comparison operand.
Frontiers Comput. Sci.
16 (4) (2022)
Jiaxi Ye
,
Bin Zhang
,
Ruilin Li
,
Chao Feng
,
Chaojing Tang
Program State Sensitive Parallel Fuzzing for Real World Software.
IEEE Access
7 (2019)
Jiaxi Ye
,
Bin Zhang
,
Ziqing Ye
,
Chao Feng
,
Chaojing Tang
Improving the Cooperation of Fuzzing and Symbolic Execution by Test-cases Prioritizing.
CIS
(2017)
Bin Zhang
,
Jiaxi Ye
,
Chao Feng
,
Chaojing Tang
S2F: Discover Hard-to-Reach Vulnerabilities by Semi-Symbolic Fuzz Testing.
CIS
(2017)