Predicate-Based Dynamic Slicing of Message Passing Programs.

Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami

Browse the full SCAM paper archive.