1 citations · 1 across the 1 of their papers we have counts for
1 paper
Zhijun Ding, Shuo Li, Cheng Chen +1
When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose…