Slicing concurrent Java programs using Indus and Kaveri - Venkatesh Prasad; Ranganath John Hatcliff; The Pennsylvania State University CiteSeerX Archives (http://projects.cis.ksu.edu/docman/view.php/12/117/stt05-submission.pdf, 2005)