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. RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 593-606, ACM, 2021. [doi]

@inproceedings{YuanLZLCZ21,
  title = {RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis},
  author = {Ming Yuan and Yeseop Lee and Chao Zhang and Yun Li and Yan Cai and Bodong Zhao},
  year = {2021},
  doi = {10.1145/3460319.3464831},
  url = {https://doi.org/10.1145/3460319.3464831},
  researchr = {https://researchr.org/publication/YuanLZLCZ21},
  cites = {0},
  citedby = {0},
  pages = {593-606},
  booktitle = {ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
  editor = {Cristian Cadar and Xiangyu Zhang 0001},
  publisher = {ACM},
  isbn = {978-1-4503-8459-9},
}