Comparison of Static Analysis Tools for Finding Concurrency Bugs

Numan Manzoor, Hussan Munir, Misagh Moayyed. Comparison of Static Analysis Tools for Finding Concurrency Bugs. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 129-133, IEEE, 2012. [doi]

@inproceedings{ManzoorMM12-0,
  title = {Comparison of Static Analysis Tools for Finding Concurrency Bugs},
  author = {Numan Manzoor and Hussan Munir and Misagh Moayyed},
  year = {2012},
  doi = {10.1109/ISSREW.2012.28},
  url = {http://dx.doi.org/10.1109/ISSREW.2012.28},
  researchr = {https://researchr.org/publication/ManzoorMM12-0},
  cites = {0},
  citedby = {0},
  pages = {129-133},
  booktitle = {23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012},
  publisher = {IEEE},
  isbn = {978-1-4673-5048-8},
}