Backsolver: Adapting Preceding Execution Paths to Solve Constraints for Concolic Execution. - Yicheng Zeng; Zhanwei Song; Guo Lv; Yu Zhou; Hongsong Zhu; Limin Sun 001 (ACM Trans. Softw. Eng. Methodol., 2025)