Yu, Su, Wang, Ma, 2016. Mocklinter: Linting Mutual Exclusive Deadlocks with Lock Allocation Graphs.. https://doi.org/10.14257/ijhit.2016.9.3.34