Hon Fung Li Juergen Rilling Dhrubajyoti Goswami Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. 63-89 2004 11 Autom. Softw. Eng. 1 http://dx.doi.org/10.1023/B:AUSE.0000008668.12782.6c db/journals/ase/ase11.html#LiRG04