Surveying concurrency bug detectors based on types of detected bugs

Zhendong Wu, Kai Lu, Xiaoping Wang. Surveying concurrency bug detectors based on types of detected bugs. Science in China Series F: Information Sciences, 60(3):31101, 2017. [doi]

Abstract

Abstract is missing.