NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution

1. ISSRE 26

   Shenghan Zheng, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zheng Zhang, Qing Deng, Zhiyun Qian, Srikanth Krishnamurthy

   IEEE International Symposium on Software Reliability Engineering, ISSRE 26.

Shenghan Zheng, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zheng Zhang, Qing Deng, Zhiyun Qian, Srikanth Krishnamurthy. "NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution." IEEE International Symposium on Software Reliability Engineering, ISSRE 26. (2026).