RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.

Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao

Browse the full ISSTA paper archive.