Symbolic execution of multithreaded programs from arbitrary program contexts
Tom Bergan, Dan Grossman, Luís Ceze · 2014
We describe an algorithm to perform symbolic execution of a multithreaded program starting from an arbitrary program context. We argue that this can enable more efficient symbolic exploration of deep code paths in multithreaded programs by allowing the symbolic engine to jump directly to program contexts of interest.