A Run-Time Deadlock Detector for Concurrent Java Programs.

Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng

Browse the full APSEC paper archive.