An Effective Dynamic Analysis for Detecting Generalized Deadlocks. Joshi, P., Naik, M., Sen, K., & Gay, D. In ACM Symposium on Foundations of Software Engineering (FSE), November, 2010.
An Effective Dynamic Analysis for Detecting Generalized Deadlocks [pdf]Paper  bibtex   
@inproceedings{fse10,
  author     = {Pallavi Joshi and Mayur Naik and Koushik Sen and David Gay},
  title      = {An Effective Dynamic Analysis for Detecting Generalized Deadlocks},
  booktitle  = {ACM Symposium on Foundations of Software Engineering (FSE)},
  month      = nov,
  year       = 2010,
  url_Paper  = {papers/fse10.pdf},
  kind       = "Conference Papers"
}
Downloads: 0