An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

@inproceedings{Naumovich-al:FSE99,
  author    = {Gleb Naumovich and
               George S. Avrunin and
               Lori A. Clarke},
  title     = {An Efficient Algorithm for Computing {MHP} Information for Concurrent Java Programs},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {338--354},
  series    = {LNCS},
  volume    = {1687},
  publisher = {Springer},
  year      = {1999},
  doi       = {10.1007/3-540-48166-4\_21},
}