@phdthesis{EURECOM+8977,
  author = {Malmain, Romain},
  title = {Foundations for practical full-system testing: Efficient fuzzing and reliable symbolic execution},
  year = {2026},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}