@PHDTHESIS{,
  author = {Michael Pradel},
  title = {Program Analyses for Automatic and Precise Error Detection},
  school = {ETH Zurich, Department of Computer Science},
  year = {2012},
  month = {dec}
}