Verbőczy, Kristóf. “Developing a Test Generation Tool for C Programs.” Master’s thesis, Budapest University of Technology and Economics, 2018.

@mastersthesis{verboczy-kristof-msc,
  author = {Verb\H{o}czy, Krist\'{o}f},
  title = {Developing a test generation tool for {C} programs},
  school = {Budapest University of Technology and Economics},
  year = {2018},
  type = {Master{\textquoteright}s thesis}
}