Race Condition and Deadlock Detection for Large-Scale Applications, 2016 15th International Symposium on Parallel and Distributed Computing (ISPDC), 2016, pp. 319-326 - HPCC, HCMUT, VNU-HCM