Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.

Dhriti Khanna, Rahul Purandare, Subodh Sharma

Browse the full ICST paper archive.