Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream?
Using Static Analysis to Find Bugs