GoDetector: Detecting Concurrent Bug in Go. - Dongwen Zhang; Penghao Qi; Yang Zhang 037 (IEEE Access, 2021)