Automatically detecting and fixing concurrency bugs in go software systems