Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables (2006)

by R Agarwal, S D Stoller
Venue:In Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD