Shunkai Zhu, Jun Sun 0001, Jingyi Wang 0004, Zhenbang Chen, Peng Cheng 0007. Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving. ACM Transactions on Software Engineering Methodology, 35(3), March 2026. [doi]
Abstract is missing.