… programs, reproduce these concurrency errors and debugging multi-threaded programs …
test module for developers to automatically search for and record buggy interleaving. This paper …

… detectors and get some interesting findings, for instance, nearly … We also discuss the limitations
of previous detectors, finding … LEAN: simplifying concurrency bug reproduction via replay-…

… program and guiding their attention on suspicious operation. This approach can avoid the
cost of reproducing concurrent … during static analysis of concurrent programs. A prototype of …

… yielding data races and heisenbugs if the threads fail to synchronize properly. DStream replaces
the standard concurrent access model with a … We can easily find that although ferret has …

… Abstract: The research of precise execution reachability analysis focuses on figuring out
the reachability between program states. It tries to find witness inputs and the execution traces …

… program analysis, and deeply applied in concurrent program analysis. Concurrent programs
are specific domain software … However, it is found that there exist conflicts and redundancies …

… Abstract: Concurrent bugs are difficult to trigger, debug, and detect. Dynamic program …
Due to non-deterministic nature of concurrent programs in which the major source of non-…

… analysis is one of the important approaches to guarantee the quality of software, and has …
in program analysis in the last decade. First, the article introduces the basic program analysis …