"Youyou Cong,Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong,Keisuke Ishibashi","How many mutex bugs can a simple analysis find in Go programs?","日本ソフトウェア科学会第39回大会",,,,,,2022,Sept.