An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs

Rui Xin, Zhengwei Qi, Shiqiu Huang, Chengcheng Xiang, Yudi Zheng, Yin Wang, Haibing Guan. An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs. In 2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013. pages 100-109, IEEE, 2013. [doi]

Abstract

Abstract is missing.