Kelin Ma

Orcid: 0009-0001-1874-4820

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Partial Solution Based Constraint Solving Cache in Symbolic Execution.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

Optimal Refinement-based Array Constraint Solving for Symbolic Execution.

[BibT_eX]

[DOI]

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

Kelin Ma

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...