Context-bounded analysis for concurrent programs with dynamic creation of threads
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 …
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 for concurrent programs with dynamic creation of threads
M Faouzi Atig, A Bouajjani, S Qadeer - arXiv e-prints, 2011 - ui.adsabs.harvard.edu
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 …
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 …
Showing the best results for this search. See all results