Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks | IEEE Conference Publication | IEEE Xplore