An Efficient Algorithm for Computing MHP Information of Concurrent Java Programs (1999)

by G Naumovich, G Avrunin, L Clarke
Venue:In 7th ACM SIGSOFT Symp. on the Foundations of Software Engineering (FSE