Concrete Constraint Guided Symbolic Execution. - Sun, Yue; Yang, Guowei; Lv, Shichao; Li, Zhi; Sun, Limin (ICSE: International Conference on Software Engineering, 2024)