Symbolic execution of multithreaded programs from arbitrary program contexts.

Tom Bergan, Dan Grossman, Luis Ceze

Browse the full OOPSLA paper archive.