A Run-Time Deadlock Detector for Concurrent Java Programs. - Yusuke Nonaka; Kazuo Ushijima; Hibiki Serizawa; Shigeru Murata; Jingde Cheng (APSEC, 2001)