An efficient algorithm for computing MHP information for concurrent Java programs (1998)

by G Naumovich, G S Avrunin, L A Clarke
Venue:University of Massachusetts