@phdthesis{Jia2013,
  author       = {Yue Jia},
  title        = {Higher Order Mutation Testing},
  school       = {University College London},
  year         = 2013
}