A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Software Quality Journal, 26 (3):
855--889 (Sep 1, 2018)DOI: 10.1007/s11219-017-9385-3
Abstract
Currently, concurrent programs are becoming increasingly widespread to meet the demands of the rapid development of multi-core hardware. However, it could be quite expensive and challenging to guarantee the correctness and efficiency of concurrent programs. In this paper, we provide a systematic review of the existing research on fighting against concurrency bugs, including automated concurrency bug exposing, detection, avoidance, and fixing. These four categories cover the different aspects of concurrency bug problems and are complementary to each other. For each category, we survey the motivation, key issues, solutions, and the current state of the art. In addition, we summarize the classical benchmarks widely used in previous empirical studies and the contribution of active research groups. Finally, some future research directions on concurrency bugs are recommended. We believe this survey would be useful for concurrency programmers and researchers.
Description
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques | SpringerLink