Login / Signup
Kelin Ma
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Test Generation
Static Analysis
Constraint Solving
Tree Search
Top Venues
APSEC
FASE
Proc. ACM Softw. Eng.
</>
Publications
</>
Ziqi Shuai
,
Zhenbang Chen
,
Kelin Ma
,
Kunlin Liu
,
Yufeng Zhang
,
Jun Sun
,
Ji Wang
Partial Solution Based Constraint Solving Cache in Symbolic Execution.
Proc. ACM Softw. Eng.
1 (FSE) (2024)
Guofeng Zhang
,
Ziqi Shuai
,
Kelin Ma
,
Kunlin Liu
,
Zhenbang Chen
,
Ji Wang
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).
FASE
(2024)
Meixi Liu
,
Ziqi Shuai
,
Luyao Liu
,
Kelin Ma
,
Ke Ma
Optimal Refinement-based Array Constraint Solving for Symbolic Execution.
APSEC
(2022)