Luming Yin

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

Collaborative distances:

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

2025

Unified and Split Symbolic Execution for Exposing Semantic Differences.

Hongliang Liang, Luming Yin, Wenying Hu, Yuxiang Li, Wuwei Shen

ACM Trans. Softw. Eng. Methodol., July, 2025

LeakGuard: Detecting Memory Leaks Accurately and Scalably.

Hongliang Liang, Luming Yin, Guohao Wu, Yuxiang Li, Qiuping Yi, Lei Wang

CoRR, April, 2025

Symbolic testing of floating-point bugs and exceptions.

Dongyu Ma, Zeyu Liang, Luming Yin, Hongliang Liang

J. Syst. Softw., 2025