Automated Deadlock Detection for Large Java Libraries. - R. Rajesh Kumar; Vivek Shanbhag; K. V. Dinesha (ICDCIT, 2021)