NeuroMerge: ML-Guided State Merging for Efficient Symbolic Execution
Published in IEEE International Symposium on Software Reliability Engineering, ISSRE 26, 2026
Authors: Shenghan Zhng, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zhang Zheng, Qing Deng, Zhiyun Qian, Srikanth Krishnamurthy
Venue: IEEE International Symposium on Software Reliability Engineering, ISSRE 26
Year: 2026
Recommended citation: Shenghan Zhng, Shitong Zhu, Yu Hao, Xingyu Li, Keyu Man, Zhang Zheng, 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).
Download Paper