DRDDR: a lightweight method to detect data races in Linux kernel
Crossref DOI link: https://doi.org/10.1007/s11227-016-1691-1
Published Online: 2016-03-10
Published Print: 2016-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jiang, Yunyun
Yang, Yi
Xiao, Tian
Sheng, Tianwei
Chen, Wenguang
Funding for this research was provided by:
The National Science and Technology Major Project of China (No. 2012ZX01039 - 004)
Text and Data Mining valid from 2016-03-10