Luming Yin

Orcid: 0009-0004-7988-3455

According to our database1, Luming Yin authored at least 3 papers in 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Unified and Split Symbolic Execution for Exposing Semantic Differences.
ACM Trans. Softw. Eng. Methodol., July, 2025

LeakGuard: Detecting Memory Leaks Accurately and Scalably.
CoRR, April, 2025

Symbolic testing of floating-point bugs and exceptions.
J. Syst. Softw., 2025


  Loading...