Omen: a tool for synthesizing tests for deadlock detection.

Malavika Samak, Murali Krishna Ramanathan

Browse the full OOPSLA paper archive.