@phdthesis{simon06thesis,
  author = {A. Simon},
  title = {Value-{R}ange {A}nalysis of {C} {P}rograms with {F}ocus on {F}inding {B}uffer {O}verflow {V}ulnerabilities},
  school = {Computing Laboratory},
  month = {September},
  year = 2006,
  address = {University of Kent},
}