Shan Lu, Soyeon Park, Yuanyuan Zhou. Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions. IEEE Trans. Parallel Distrib. Syst., 23(6):1060-1072, 2012. [doi]
@article{LuPZ12-0, title = {Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions}, author = {Shan Lu and Soyeon Park and Yuanyuan Zhou}, year = {2012}, doi = {10.1109/TPDS.2011.254}, url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.254}, researchr = {https://researchr.org/publication/LuPZ12-0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Parallel Distrib. Syst.}, volume = {23}, number = {6}, pages = {1060-1072}, }