Deadlock-Guided Testing
Static deadlock analyses might be able to verify the absence of deadlock.However, they are usually not able to detect its presence.Moreover, when a potential deadlock TV Show Posters is detected, they provide little (and often no) information that can help the user in finding the source of the anomalous behaviour.This paper proposes a testing metho