Finding concurrency bugs with context-aware communication graphs
Brandon Lucia, Luís Ceze · 2009
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs has addressed the general problem in an ad-hoc fashion, focusing mostly on data races and atomicity violations.