Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Beibei Yin: Stress Testing With Influencing Factors to Accelerate Data Race Software Failures. IEEE Trans. Reliab. 69(1): 3-21 (2020)