Kelin Ma

According to our database, Kelin Ma authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

Optimal Refinement-based Array Constraint Solving for Symbolic Execution.

Meixi Liu, Ziqi Shuai, Luyao Liu, Kelin Ma, Ke Ma

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022