BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis. - Chongxin Zhong; Qidong Zhao; Xu Liu 001 (CoRR, 2022)