Slicing multi-threaded java programs: A case study (1999)

by M B Dwyer, J C Corbett, J Hatcliff, S Sokolowski, H Zheng