Automated Dynamic Concurrency Analysis for Go

Published in arXiv, 2021