Tom Bergan, Dan Grossman, Luis Ceze. Symbolic execution of multithreaded programs from arbitrary program contexts. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 491-506, ACM, 2014. [doi]
Abstract is missing.