1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…