Analyzing Message-Passing Programs through Visual Slicing. - Ganesha S. R. Shanmuganathan; Kang Zhang 001; W. Eric Wong; Yu Qi (ITCC (2), 2005)