@phdthesis{Perscheid2013,
  author      = {Michael Perscheid},
  title       = {Test-driven fault navigation for debugging reproducible failures},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2013},
}