Sen, A.; Kalaci, O. Hybrid Data Race Detection for Multicore Software. Comput. Inform. 2018, 37, 186-212.