Race Condition and Deadlock Detection for Large-Scale Applications | IEEE Conference Publication | IEEE Xplore