Context-bounded analysis has been shown to be both efficient and effective at finding bugs
in concurrent programs. According to its original definition, context-bounded analysis
explores all behaviors of a concurrent program up to some fixed number of context switches
between threads. This definition is inadequate for programs that create threads dynamically
because bounding the number of context switches in a computation also bounds the number
of threads involved in the computation. In this paper, we propose a more general definition …

Context-bounded analysis has been shown to be both efficient and effective at finding bugs
in concurrent programs. According to its original definition, context-bounded analysis
explores all behaviors of a concurrent program up to some fixed number of context switches
between threads. This definition is inadequate for programs that create threads dynamically
because bounding the number of context switches in a computation also bounds the number
of threads involved in the computation. In this paper, we propose a more general definition …