@phdthesis{Christakis2015,
  author      = {Maria Christakis},
  title       = {Narrowing the Gap between Verification and Systematic Testing},
  school      = {ETH Zurich},
  year        = {2015}
}