@PhdThesis{PBudnik2006,
  author       = {Christof J. Budnik},
  title        = {Test Generation Using Event Sequence Graphs},
  year         = {2006},
  type = {PhDReview},
  file         = {PhDReviewed/Budnik2006 - Test Generation Using Event Sequence Graphs.pdf:PDF},
  location  = {Fakult{\"a}t f{\"u}r Elektrotechnik, Informatik und Mathematik der Universit{\"a}t Paderborn}
}