GOAT: Automated Concurrency Analysis and Debugging Tool for Go

Published in 2021 IEEE International Symposium on Workload Characterization, 2021