@phdthesis{EURECOM+6331,
  author = {Poeplau, Sebastian},
  title = {Increasing the performance of symbolic execution by compiling symbolic handling into binaries},
  year = {2020},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}