A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems. (20th April 2007)