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

by Matthew B Dwyer, James C Corbett, John Hatcliff, Stefan Sokolowski, Hognjun Zheng