GoAT: Automated Concurrency Analysis and Debugging Tool for Go - Artifact Evaluation for IISWC 2021

GOAT is a combined static and dynamic concurrency testing and analysis tool that facilitates the process of debugging for real-world Go programs. The workflow of GOAT includes 1)automated dynamic tracing to capture the behavior of concurrency primitives, 2) systematic schedule space exploration to accelerate the bug occurrence and 3) deadlock detection with supplementary visualizations and reports. GOAT also proposes a set of coverage requirements that characterize the dynamic behavior of concurrency primitives and provide metrics to measure the quality of tests. All of the above are done through goatlib (tracing API) and tuning parameters such as global deadlock timeout, visualization grain, and the number of run-time processes