20 citations · 25 across the 10 of their papers we have counts for
1 paper · 1 filter
Yufeng Zhang, Zhenbang Chen, Ji Wang
Symbolic execution is an effective path oriented and constraint based program analysis technique. Recently, there is a significant development in the research and application of sy…