Prasun Dewan, Andrew Wortas, Zhizhou Liu, Samuel George, Bowen Gu, Hao Wang. Automating Testing of Visual Observed Concurrency. In 9th IEEE/ACM Workshop on Education for High Performance Computing, EduHPC@SC 2021, St. Louis, MO, USA, November 14, 2021. pages 32-42, IEEE, 2021. [doi]
Abstract is missing.