A deadlock detection tool for concurrent Java programs (1999)

by C Demartini, R Iosif, R Sisto
Venue:Software: Practice and Experience