Multi-Agent Differential Testing for the Game of Go. - Jiaxue Song; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Yong Liu 030; Bin Du (SIGSOFT FSE Companion, 2025)