Slicing concurrent java programs (2001)

by Z Chen, B Xu
Venue:ACM SIGPLAN Notices