3 citations · 3 across the 1 of their papers we have counts for
1 paper
Xiangyang Jia, Carlo Ghezzi, Shi Ying
Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or sem…