Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution | IEEE Conference Publication | IEEE Xplore