@ARTICLE{Jannesari:2014:ijpp,
    author = {Jannesari, Ali},
     month = aug,
     title = {Detection of High-Level Synchronization Anomalies in Parallel Programs},
   journal = {International Journal of Parallel Programming (IJPP)},
    volume = {43},
    number = {4},
      year = {2015},
     pages = {656-678},
      issn = {0885-7458},
       doi = {10.1007/s10766-014-0313-x}
}