Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream?
Automated atomicity-violation fixing