ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.

Yan Cai, Shangru Wu, W. K. Chan

Browse the full ICSE paper archive.