A Concurrent Harmful Races Identification Algorithm using Hadoop and Multiple Cloud Servers. - Suxia Zhu; Yanan Wu; Guanglu Sun; Jianda Sun (International Journal of Performability Engineering, 2018)