@inproceedings{CTT100881644,
  author = {Youyou Cong and Fumi Takeuchi;Hidehiko Masuhara;Youyou Cong and Keisuke Ishibashi},
  title = {How many mutex bugs can a simple analysis find in Go programs?},
  booktitle = {},
  year = 2022,
}