Multithreaded test synthesis for deadlock detection.

Malavika Samak, Murali Krishna Ramanathan

Browse the full OOPSLA paper archive.