Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs.

Xiaofang Qi, Xiaojing Xu, Peng Wang

Browse the full SEKE paper archive.