[1] Poulsen K. Software Bug Contributed to Blackout[DB/OL]. http://www.securityfocus.com /news/8016, 2004-02-11.
[2] Gu Rui, Jin Guoliang, Song Linhai, et al. What change history tell us about thread synchronization[C]// Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. 2015:426-438.
[3] Cai Yan, Wu Shangru, Chan W K. ConLock: A constraint-based approach to dynamic checking on deadlocks in multithreaded programs[C]// Proceedings of the 36th International Conference on Software Engineering. 2014:491-502.
[4] Sadowski C, Yi J. How developers use data race detection tools[C]// Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. 2014:43-51.
[5] Maiya P, Kanade A, Majumdar R. Race detection for Android applications[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:316-325.
[6] Biswas S, Huang Jipeng, Sengupta A, et al. DoubleChecker: Efficient sound and precise atomicity checking[C]// Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014:28-39.
[7] Yu Jie, Narayanasamy S, Pereira C, et al. Maple: A coverage-driven testing tool for multithreaded programs[C]// Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications. 2012:485-502.
[8] Huang J, Zhang C. Persuasive prediction of concurrency access anomalies[C]// Proceedings of the 2011 International Symposium on Software Testing and Analysis. 2011:144-154.
[9] Musuvathi M, Qadeer S, Ball T, et al. Finding and reproducing heisenbugs in concurrent programs[C]// Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 2008:267-280.
[10] Wu Zhendong, Lu Kai, Wang Xiaoping, et al. Collaborative technique for concurrency bug detection[J]. International Journal of Parallel Programming, 2015,43(2):260-285.
[11] Lu Kai, Wu Zhendong, Wang Xiaoping, et al. RaceChecker: Efficient identification of harmful data races[C]// Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-based Processing. 2015:78-85.
[12] Kasikci B, Zamfir C, Candea G. RaceMob: Crowdsourced data race detection[C]// Proceedings of the 24th ACM Symposium on Operating Systems Principles. 2013:406-422.
[13] Lu Shan, Park S, Seo E, et al. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics[C]// Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 2008:329-339.
[14] Wu Zhendong, Lu Kai, Wang Xiaoping. Identifying repeated interleavings to improve the efficiency of concurrency bug detection[C]// Proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing. 2015:175-188.
[15] Park S, Harrold M J, Vuduc R. Griffin: Grouping suspicious memory-access patterns to improve understanding of concurrency bugs[C]// Proceedings of the 2013 International Symposium on Software Testing and Analysis. 2013:134-144.
[16] Lee E A. The problem with threads[J]. Computer, 2006,39(5):33-42.
[17] Liu Peng, Dolby J, Zhang C. Finding incorrect compositions of atomicity[C]// Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. 2013:158-168. |