Scalable concurrency debugging with distributed graph processing
Long Zheng, Xiaofei Liao, Hai Jin, Jieshan Zhao, Qinggang Wang · 2018
Existing constraint-solving-based technique enables an efficient and high-coverage concurrency debugging. Yet, there remains a significant gap between the state of the art and the state of the programming practices for scaling to handle long-running execution of programs.