Yan Cai 0001, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang. Detecting concurrency memory corruption vulnerabilities. In Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pages 706-717, ACM, 2019. [doi]
Abstract is missing.