Ali Kheradmand, Baris Kasikci, George Candea Lockout: Efficient Testing for Deadlock Bugs 1.
Ali Kheradmand , Baris Kasikci , George Candea