Locating and understanding concurrency bugs based on edge-labeled communication graphs

Concurrency bugs are difficult to locate and understand. This paper presents LUCON, a novel edge-labeled communication graph based technique, which locates the concurrency bugs and presents buggy access patterns and bug triggering scenarios to help programmers understand the bugs. The buggy access pattern gives the essence of the bug and the bug triggering scenario shows how the bug happens with the information of call stack and thread creation. A set of experimental studies have been conducted to evaluate the effectiveness of LUCON. The preliminary results show that LUCON can locate concurrency bugs accurately and the bug reports provided by LUCON can really help programmers understand the bugs.