DDS: Deadlock Detector and Solver. - Eman Aldakheel; Ugo A. Buy; Simran Kaur 005 (ISSRE Workshops, 2018)