A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. - Fu, Haojie; Wang, Zan; Chen, Xiang; Fan, Xiangyu (Software Quality Journal, 2018)